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