Intégration du plugin Menu Prive Alpha, suite.

On complète les boutons des menus par l'information "favori" (booleen). Si une entrée de menu favorite est cochée dans les préférences,
cette valeur vaudra `true` dans le bouton, `false` sinon.

On ajoute 2 fonctions pour trier les sous-menus de navigation afin d'avoir soit un tri "par favori, titre alpha" ou simplement "par titre alpha".
On utilise ces fonctions dans les squelettes qui affichent les menus. Dans le bandeau, on met tous les favoris en tête de menu.