function equalizeDivHeight() { //Cette fonction permet de mettre à la même hauteur les div menu (bandeau gauche) et div main (panneau droite) var divDefHeight = 800; var divMenuHeight = divDefHeight; var divMainHeight = divDefHeight; divMenu = window.document.getElementById("bl_menu"); divMain = window.document.getElementById("bl_main"); //Collect heights of Div if (divMenu.offsetHeight) {divMenuHeight = divMenu.offsetHeight;} else if (divMenu.style.pixelHeight) {divMenuHeight=divMenu.style.pixelHeight;} else {divMenuHeight=divDefHeight;} if (divMain.offsetHeight) {divMainHeight = divMain.offsetHeight;} else if (divMain.style.pixelHeight) {divMainHeight=divMain.style.pixelHeight;} else {divMainHeight=divDefHeight;} //Applying collected heights if (divMenuHeight>divMainHeight) { divMain.style.height=divMenuHeight-8+'px'; } else if (divMenuHeight"+titre+""); w.document.write("