function hauteur()
{
	var hauteur_centre = document.getElementById('contenu_centre').offsetHeight; 
	var taille_optimale = hauteur_centre - 310;

	if(taille_optimale > 0)
	{
		document.getElementById('contenu_gauche').style.height = taille_optimale+"px";
	}
}

window.onload = function(){ hauteur(); }