menu.disconnect=Déconnexion
menu.filter=Création de requête
menu.results=Résultats de requête
menu.settings=Paramètres
menu.exports=Exports automatiques
menu.manual=Manuel d'utilisateur
menu.adminmanual=Manuel administrateur
menu.exportsmanager=Gestionnaire d'exports