// maintient le sous-menu parent ouvert à l'ouverture d'une nouvelle page

function montre_sous_menu (id){
            var d = document.getElementById(id);
            d.style.display='block'; }