function zindex(hauteur) {
dv = document.getElementById("contactdiv");
dv.style.zIndex = hauteur;
}