<!-- Fonctions utilisées pour la création du menu déroulant<!-- include_menu_gauche.php<!--<!-- montre(id) affiche le menu (id) et cache les autres.<!-- utilisé au démarrage pour affiché l'ancien folio utilisé.function montre(id) {var d = document.getElementById(id);if (d) 	{d.style.display='';}}<!-- cache(id) inverse l'etat du menu (id).<!-- utilisé dans le menu folio.function cache(id) {var d = document.getElementById(id);	if (d.style.display=='none')	{		d.style.display='block';	} else {		d.style.display='none';	}		}
