Étiquette de l’extension : package export