function redim(){
		//hauteur du logo
		if(document.location.toString().indexOf("index.php?page=4")!=-1){
			document.getElementById('header').style.height='489px';
		}else{
			document.getElementById('header').style.height='185px';
		}
}