<!-- 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';
	}		
}