Ticket #3943 : Améliorer la gestion des menus favoris de l'espace privé :

- des menus favoris sont définis déjà dans une fonction (surchargeable) definir_menus_favoris() et ordonnés.
- les préférences auteurs peuvent modifier ces favoris et les ordonner selon leur choix (un JS aide en cliquant les labels)
- il est possible dans le formulaire de préférence de revenir aux valeurs de menus favoris par défaut