update = new Date(document.lastModified);
theDate = update.getDate();
theMonth = update.getMonth() + 1;
theYear = update.getYear()
var num = parseInt(theMonth);
var mois = new Array ("janvier", "février", "mars", "avril", "mai", "juin", "juillet", "août", "septembre", "octobre", "novembre", "décembre");
var lemois = mois[num-1];  
var annee = theYear;
if (navigator.appName == "Microsoft Internet Explorer" && navigator.userAgent.indexOf("Opera",0) == -1) annee = theYear;
else annee = annee + 1900;
var lejr=theDate;
if (lejr=="1") lejr="premier";
document.writeln("<I>Dernière modification de ce document : le " + lejr + " " + lemois + " " + annee + "</I>");