function win_open(url, target){
	javascript:window.open(url, target);
}

function h_div(id_div){
	var maDiv = document.getElementById(id_div);
	var hauteur = document.getElementById("centre").offsetHeight;
	var new_top = eval(hauteur)-494;
	maDiv.style.height = hauteur+"px";
	
	document.getElementById("droit_top").style.height = new_top+"px";
}