// Librairie JS pour la gestion des images dans la page d'accueil// Lancement changement image en continufunction ShowImage() {window.setInterval("ChangeImage()", 20000);}// Changement de l'image courantefunction ChangeImage() {var form = document._Image;var numImage = Number(form.NumImage.value);var nbImage = Number(form.NbImage.value);var newImage = numImage + 1;if (newImage > nbImage) {newImage = 1}var image = images[newImage].split("#");document.getElementById("bandeau").src = image[0];document.getElementById("bandeau").width = image[1];document.getElementById("bandeau").height = image[2];document.getElementById("bandeau").alt = image[3];document.getElementById("bandeau").title = image[3];if (image[4] == "") {	document.getElementById("bandeauLien").href = "#";	} else {	document.getElementById("bandeauLien").href = image[4];	}form.NumImage.value = newImage}
