// JavaScript Document
Modif = new Date(document.lastModified);
Mois = new Array;
Mois[0] = "janv" ;
Mois[1] = "fev" ;
Mois[2] = "mars" ;
Mois[3] = "avr";
Mois[4] = "mai" ;
Mois[5] = "juin" ;
Mois[6] = "juil" ;
Mois[7] = "aout";
Mois[8] = "sept";
Mois[9] = "oct";
Mois[10] = "nov";
Mois[11] ="dec";
DateModif = "Up Date :  "  + Modif.getDate() + " " + Mois[Modif.getMonth()] + " " +  Modif.getFullYear();