Pour per­son­na­li­ser le menu, il suf­fit d’édi­ter le fichier _top.html