// function affiche(txt) {document.write(txt);}
function date_maj(){ 
	var d1=new Date(document.lastModified);  
	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 mois=m[d1.getMonth()+1]; 
	var date=d1.getDate(); 
	var an=d1.getYear();
	if (an<200) an=1900+an;
	date_maj=date+" "+mois+" "+an; 
	document.write("Mise à jour le "+date_maj);
	// return date_maj;
}