possibilités de customizer le menu via XSL - la XSL appliquée par défaut est ui/xsl/menu.xsl + intégration dans le layout tei par défaut