// Fonctions qui permettent de rendre le menu de gauche dynamique

function changeMenu(onglet, page){
	
	 document.images[onglet].src='img/'+page+'/'+onglet+'_over.gif';
	 
}

function changeMenuOut(onglet, page){
	
	 document.images[onglet].src='img/'+page+'/'+onglet+'.gif';
	 
}

function showavantages(type){
	if(document.getElementById(type).style.display == "none") document.getElementById(type).style.display = "block";
	else document.getElementById(type).style.display = "none";
}