/*
 *  redimensionne div_1 en hauteur
 *  en fonction de la hauteur de div_2
 */
function resizeDiv(div_1,div_2,background_color) 
{	
	first 	= document.getElementById(div_1);
	second 	= document.getElementById(div_2);	
	if (first.offsetHeight < second.offsetHeight) {
		document.getElementById(div_1).style.height 	= second.offsetHeight+"px";
		document.getElementById(div_1).style.background = background_color;
	}
}