Menu de navigation

Lorsque le nombre de site est important, il est intéressant de pouvoir disposer d'un moyen d'accès rapide. Le champs de recherche permet de mettre en évidence aisément certains sites. Un site peut être recherché par son nom ou son numéro. Au fur et à mesure de la frappe, la liste des sites ainsi que la carte Google sont mises à jour.