function get_date_heure() {
	var m=new Array(13);
	m[1]="Jan."; m[2]="Fev.";	m[3]="Mars"; m[4]="Avril"; m[5]="Mai"; m[6]="Juin";
	m[7]="Juil.";	m[8]="Aout"; m[9]="Sept."; m[10]="Oct.";	m[11]="Nov."; m[12]="Dec.";
	var d=new Array(8);
	d[1]="Dimanche"; d[2]="Lundi"; d[3]="Mardi"; d[4]="Mercredi"; d[5]="Jeudi"; d[6]="Vendredi"; d[7]="Samedi";
	var date_jour=new Date();
	var mois=m[date_jour.getMonth()+1];
	var jour=d[date_jour.getDay()+1];
	var datf=date_jour.getDate();
	var an=date_jour.getYear();
	if (an<200) an=1900+an;
	var heure = date_jour.getHours();
	var minute = date_jour.getMinutes();
	minute=((minute <10) ? "0" : "") + minute;
	dateEtHeure=jour+" "+datf+" "+mois+" "+an+" "+heure+"h"+minute;
	return dateEtHeure;
}
	document.write(get_date_heure());