function affiche_date(dates)
{
	var jour;
	var mois;
	var annee=2000;
	var numero;
	var today=new Date(dates);
	var navigateur;
	
	jour = today.getDay();
	numero = today.getDate();
	mois = today.getMonth();
	annee = eval(today.getYear());
	navigateur = navigator.appName;
	
	if (navigateur == "Netscape") 
	{
		annee = 1900 + annee;
	}

	TabJour = new Array("Dimanche","Lundi","Mardi","Mercredi","Jeudi","Vendredi","Samedi");
	TabMois = new Array("janvier","février","mars","avril","mai","juin","juillet","aout","septembre","octobre","novembre","décembre");
	return( TabJour[jour] + " " + numero + " " + TabMois[mois] + " " + annee);
}
document.write('<P ALIGN=CENTER> <FONT SIZE=1> Dernière modification le :' + affiche_date(document.lastModified) + '</FONT>');