function Id(Objet) {return (document.all) ? document.all[Objet] : document.getElementById(Objet);}

function AjusterCadres()
	{
    var TailleFenetre = Id('fenetre').offsetHeight;
		var TailleTitre = Id('titre').offsetHeight;	
	
    if(TailleFenetre < document.body.offsetHeight-40)
      {Id('fenetre').style.height = (document.body.offsetHeight - 40) + "px";}
	
    TailleFenetre = Id('fenetre').offsetHeight;
	
		Id('menu').style.height = (TailleFenetre - TailleTitre - 30) + "px"; 
		Id('contenu').style.height = (TailleFenetre - TailleTitre - 30) + "px";
	}
	
window.onresize = function() {AjusterCadres()}
window.onload = function() {AjusterCadres()}