function Tableau(n) {this.length=n;return this; }
function DateModif() {
NomMois=new Tableau(12);
NomMois[1]="janvier";
NomMois[2]="février";
NomMois[3]="mars";
NomMois[4]="avril";
NomMois[5]="mai";
NomMois[6]="juin";
NomMois[7]="juillet";
NomMois[8]="août";
NomMois[9]="septembre";
NomMois[10]="octobre";
NomMois[11]="novembre";
NomMois[12]="décembre";
Date=new Date(document.lastModified);
var Mois=NomMois[Date.getMonth()+1];
var Annee=Date.getFullYear();
var minutes=Date.getMinutes();
minutes=(minutes < 10) ? '0' + minutes : minutes;
return Date.getDate()+" "+Mois+" "+Annee+" "+Date.getHours()+'h'+minutes;
}