//D'autres scripts sur http://www.multimania.com/jscript
//Si vous utilisez ce script, merci de m'avertir !

function disp(txt) {document.write(txt);}


function don_date_maj() {
	var date_maj=new Date(document.lastModified);
	date_maj=don_date_format(date_maj);
	return date_maj;
}


function don_date_jour() {
	var date_jour=new Date();
	date_jour=don_date_format(date_jour);
	return date_jour;
}


function don_date_format(d1) {
	var m=new Array(13);
	m[1]="Janvier"; m[2]="Février";	m[3]="Mars"; m[4]="Avril"; m[5]="Mai"; m[6]="Juin";
 	m[7]="Juillet";	m[8]="Aout"; m[9]="Septembre"; m[10]="Octobre";	m[11]="Novembre"; m[12]="Décembre";
	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 mois=m[d1.getMonth()+1];
	var jour=d[d1.getDay()+1];
	var date=d1.getDate();
	var an=d1.getYear();
	if (an<200) an=1900+an;
	date=jour+"<br><FONT size=7>"+date+"</FONT><br> "+mois+"<br><FONT size=5>"+an+"</FONT>";
	return date;
}