function heure() {
	var Maintenant = new Date();
	var fuseau = Maintenant.getTimezoneOffset();
	var jour_s = Maintenant.getDay();
	switch (jour_s) {
		case 1: jour_s = "Lun";	break;
		case 2: jour_s = "Mar";	break;
		case 3: jour_s = "Mer";	break;
		case 4: jour_s = "Jeu";	break;
		case 5: jour_s = "Ven";	break;
		case 6: jour_s = "Sam";	break;
		default: jour_s = "Dim";// jour 0
	}
	var jour_m = Maintenant.getDate();
	var mois = Maintenant.getMonth();
	switch (mois) {
		case 0: mois = "Janvier";	break;
		case 1: mois = "Fevrier";	break;
		case 2: mois = "Mars";		break;
		case 3: mois = "Avril";		break;
		case 4: mois = "Mai";		break;
		case 5: mois = "Juin";		break;
		case 6: mois = "Juillet";	break;
		case 7: mois = "Aout";		break;
		case 8: mois = "Septembre";	break;
		case 9: mois = "Octobre";	break;
		case 10: mois = "Novembre";	break;
		default: mois = "Decembre";
	}
	var heures = Maintenant.getHours();
	var minutes = Maintenant.getMinutes();
	var secondes = Maintenant.getSeconds();
	heures = heures + (fuseau/60)+1;
	//heure été
	var annee = Maintenant.getFullYear();
	for (i=31; i >24; i--) {
		dimanche = new Date(annee, 2, i);
		if (dimanche.getDay()==0) break;
	}
	for (i=31; i >24; i--) {
		dimanche2 = new Date(annee, 9, i);
		if (dimanche2.getDay()==0) break;
	}
	if (Maintenant >= dimanche && Maintenant < dimanche2) heures = heures + 1;
	//heure été
	heures = ((heures < 10) ? "0" : "") + heures;
	minutes = ((minutes < 10) ? ":0" : ":") + minutes;
	secondes = ((secondes < 10) ? ":0" : ":") + secondes;
	document.getElementById("horloge").innerHTML = jour_s + " " + jour_m + " " + mois + " " + annee + "<br />" + heures + minutes + secondes;	//Affichage sur la page
	setTimeout("heure()",1000);
}