function HorlogeDynamique() {
	var DateActuel = new Date();
	var heure = DateActuel.getHours();
	var minutes = DateActuel.getMinutes();
	var secondes = DateActuel.getSeconds();

	if (heure <= 9) {
		heure = "0" + heure;
		}
	if (minutes <= 9) {
		minutes = "0" + minutes;
		}
	if (secondes <= 9) {
		secondes = "0" + secondes;
		}
	
	Horloge = heure + ":" + minutes + ":" + secondes;
	
    if (Horloge == "00:01:00") { // On force le rafraichissement de la page à 00:01 afin d'afficher la date du jour correctement (en PHP)
        document.location=document.location;
    }

	if (document.getElementById) {
		document.getElementById("div_date_heure").innerHTML = Horloge;
		
		}

	if (document.layers) { 
    		document.div_date_heure.document.write("&nbsp;&nbsp;"+Horloge); 
		document.div_date_heure.document.close(); 
  		}

	if ((document.all)&&(!document.getElementById)) { 
    		document.all["div_date_heure"].innerHTML = Horloge;
 		}

	setTimeout("HorlogeDynamique()", 1000)
	}
window.onload = HorlogeDynamique;