function menu_height() {
	/* on récupère les éléments à travailler */
	div_total = document.getElementById('contenu');
	div_menu = document.getElementById('menu');
	div_fond_menu = document.getElementById('fond_menu');
	
	/* taille calculé de la div de menu */
	var taille = div_total.offsetHeight-451; // total - fin menu

	// si le contenu est plus grand que le menu on agrandi ce dernier
	if (div_total.offsetHeight > div_menu.offsetHeight) {
		/* on change la taille des éléments à la volé */
		div_menu.style.height = taille; // d'abord la taille globale
		div_fond_menu.style.height = taille-35; // ensuite la taille du menu (cad: taille du menu - img haut du menu)
	}
}