<!--
// etiquetage des jours: definition de la variable jj
var jj=new Array(8);
jj[0]="Dimanche";
jj[1]="Lundi";
jj[2]="Mardi";
jj[3]="Mercredi";
jj[4]="Jeudi";
jj[5]="Vendredi";
jj[6]="Samedi";
//etiquetage des mois: definition de la variable mm
var mm=new Array(13);
mm[0]="Janvier ";
mm[1]="Fevrier ";
mm[2]="Mars ";
mm[3]="Avril ";
mm[4]="Mai ";
mm[5]="Juin ";
mm[6]="Juillet ";
mm[7]="Aout ";
mm[8]="Septembre ";
mm[9]="Octobre ";
mm[10]="Novembre ";
mm[11]="Decembre ";
//determination de la date: definition de la variable datage
var datage=new Date(document.lastModified);
//formatage de la date
var jour=jj[datage.getDay()];
var date=datage.getDate();
var mois=mm[datage.getMonth()];
var annee=datage.getFullYear();
//formatage de l'heure
var hh=datage.getHours();
if (hh <=9) var heure ="0"+hh ; else var heure = hh;
var mn=datage.getMinutes();
if (mn <=9)  var minute ="0"+mn ; else var minute = mn;
var ss=datage.getSeconds();
if (ss <=9)  var seconde ="0"+ss ; else var seconde = ss;
//ecriture de la date
document.write(mois+"2000");
// -->