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("colonne1").offsetHeight;
	//Sans oublier la hauteur du pied de page:
	var hauteurFooter=document.getElementById("footer").offsetHeight;
	//Si le contenu est trop court, hauteur menu = 100%;
	//document.write(hauteurMenu + " vs " + hauteurFooter);
	if(hauteurContenu<hauteurMenu){
		//On agrandit le contenu:
		document.getElementById("centre").style.height=hauteurMenu+"px";
		//On met le footer minimum à la hauteur du menu  - la taille du footer:
		document.getElementById("footer").style.top=parseInt(hauteurMenu-hauteurContenu)+"px";	
		//document.write(document.getElementById("footer").style.top);
	}
}