function hauteur()
{
	//Premièrement on trouve la hauteur du div qui nous interesse:
	var hauteurContenu=document.getElementById("centre").offsetHeight;
	//ainsi que la hauteur de l'autre div:
	var hauteurMenu=document.getElementById("gauche").offsetHeight;
	//Sans oublier la hauteur du pied de page:
	var hauteurFooter=document.getElementById("pied").offsetHeight;
	//Si le contenu est trop court, hauteur menu = 100%;
	if(hauteurContenu<hauteurMenu){
	}else{
		//Hauteur menu = hauteur contenu:
		document.getElementById("gauche").style.height=hauteurContenu+"px";	
		}

}