function dernmaj() {
var dd = new Date(document.lastModified);
var Mnt = new Array(12);
var Jours = new Array("Dimanche","Lundi","Mardi","Mercredi","Jeudi","Vendredi","Samedi") ;
Mnt[0]="janvier";Mnt[1]="février";Mnt[2]="mars";
Mnt[3]="avril";Mnt[4]="mai";Mnt[5]="juin";
Mnt[6]="juillet";Mnt[7]="août";Mnt[8]="septembre";
Mnt[9]="octobre";Mnt[10]="novembre";Mnt[11]="décembre";
if (navigator.appName == "Netscape"){
 var an = eval(dd.getYear() + 1900);
 var ret = Jours[dd.getDay()] + " " + dd.getDate() + " " + Mnt[dd.getMonth()] + " " + an;
 }
else{
 if (dd.getYear() >= 2000) { var Siecle = "";} else { var Siecle = "19";}
 var ret = Jours[dd.getDay()] + " " + dd.getDate() + " " + Mnt[dd.getMonth()] + " " + Siecle + dd.getYear();
}
return "Dernière révision : " + ret;
}