function logomenug(ligne) {
	var logo = document.getElementById("logomenugimg");
	//logo.style.paddingTop = (ligne-2)*268+145;
	var ecart = (ligne-2)*268+145 +"px";
	if ((ligne==1)||(ligne==0)){ ecart = "-10px"; }
	logo.style.marginTop = ecart ;
}
function logomenugie() {
	var logo = document.getElementById("logomenugimg");
	logo.style.paddingTop = 140;
}
function logomenugieProd() {
	var logo = document.getElementById("logomenugimg");
	logo.style.paddingTop = 70;
}