
// permet d'etirer la fenetre en fonction de la taille de l'element dispatch2
// IE et FF ne la supportent pas de la meme maniere...
function etire()
{
	var savHeightIE= document.getElementById("dispatch2").clientHeight ;
	var savHeightFF= document.getElementById("dispatch2").clientHeight ;
	
	if ( isIE ) {
		savHeightIE= savHeightIE+152;
		if (savHeightIE > 520) (document.getElementById("conteneur").style.height= savHeightIE ) ;
	}
	else {
			if ( isFF ) {
				if (savHeightFF > 310) {
					savHeightFF = savHeightFF + 223;
					(document.getElementById("conteneur").style.height= savHeightFF+"px" ) ;
				}
			}
	}
}

