Ajout d'un menu Développement dans la barre de navigation de l'espace privé.
Ce menu n'est pas visible par défaut.
Il n'est affiché que si l'utilisateur le demande explicitement (préférence utilisateur).
Il faut donc utiliser ce menu pour les plugins de ce type.