<!--
// laisser en script externe sinon problèle de validation w3c avec <
function Fhauteurdiv(nomtag)
{
	var hauteur=document.getElementById(nomtag).offsetHeight+150;
	if (hauteur < 538) { hauteur=538;}
	document.getElementById("pied").style.top=hauteur+"px";
	//document.getElementById("global").style.height=hauteur+30+"px";
}
// -->