Le 5 novembre 2013 16:17, Franck Paul <carnet.franck.paul(a)gmail.com> a
écrit :
D'ac avec Noé, le seul qui vaille est le nom du répertoire.
Ok. Cela signifie donc qu'on affichera probablement l'id d'un plugin et non
son nom s'il y a un problème de dépendances à l'installation d'un plugin.