// JavaScript Document
/* fonctions elementaires : */
  function montre(id) {
	  if (document.getElementById) {
		  document.getElementById(id).style.visibility="visible";
		} else if (document.all) {
		  document.all[id].style.visibility="visible";
		} else if (document.layers) {
		  document.layers[id].visibility="visible";
		} } 
		
    function cache(id) {
	  if (document.getElementById) {
		  document.getElementById(id).style.visibility="hidden";
		} else if (document.all) {
		  document.all[id].style.visibility="hidden";
		} else if (document.layers) {
		  document.layers[id].visibility="hidden";
		} }
		
/* fonctions de "haut niveau" */

		function cache_menu(num) {
			/* num = numero du menu. */
			cache("sm"+num.toString());
			cache("menuon"+num.toString());
			}

     function cache_tout() {
				for (var i=1; i<11 ; i++) { cache_menu(i) ; }
			}

/* quand on active un menu, il faut 
   - cacher tous les sous-menus (sm0 &agrave; sm4) et 
	   les menus activ&eacute;s (menuon1 &agrave; menuon4)
	 - montrer le sous-menu (num) et le menu activ&eacute; (num) */

	  function montre_menu(num) {  
			cache_tout();			
			montre_menu2(num);
			}
		function montre_menu2(num) {  
			/* num = numero du menu */
			montre("sm"+num.toString());
			montre("menuon"+num.toString());
	   }

