// Affichage de la date et l'heure
var serverdate=new Date(currenttime);

function padlength(what){
	var output=(what.toString().length==1)? "0"+what : what;
	return output;
}

function calc_date(j,m,num) {
	var monthname=new Array("Janv.","Fév.","Mars","Avril","Mai","Juin","Juil.","Août","Sept.","Oct.","Nov.","Déc.");
	var nomjour=new Array("Dimanche","Lundi","Mardi","Mercredi","Jeudi","Vendredi","Samedi");
	var date_aff = nomjour[num] + " " + j + " " + monthname[m];
	return (date_aff);
}

function displaytime(){
	serverdate.setSeconds(serverdate.getSeconds()+1)
	var timestring=padlength(serverdate.getHours())+":"+padlength(serverdate.getMinutes())+":"+padlength(serverdate.getSeconds());
	document.getElementById("heure").innerHTML=timestring;
}
window.onload=function(){
	setInterval("displaytime()", 1000);
}