function InitCSS() {
	G_Hh=document.getElementById("Zone_ColGauche").offsetHeight;
	if (document.getElementById("Zone_ColDroite_contenu").offsetHeight<G_Hh){
	    var div
	    div=document.getElementById("Zone_ColDroite_contenu");
	    div.style.height=(G_Hh)+"px";	    
	}

	
}	
window.onresize = InitCSS;