Concernant le terme extension ou distribution je n’ai pas de préférence. Par contre, il me semble important d’avoir une cohérence entre le nom du répertoire où elles sont stockées, le nom évoqué dans la doc et l’interface utilisateur. On doit toujours utiliser le même nom pour parler de la même (…)