<!--
 function makeArray0() {
      for (i = 0; i<makeArray0.arguments.length; i++)
           this[i] = makeArray0.arguments[i];
 }

 var days = new makeArray0("dimanche","lundi","mardi","mercredi",
     "jeudi","vendredi","samedi");

 var months = new makeArray0('janvier','fevrier','mars',
     'avril','mai','juin','juillet','août','septembre',
     'octobre','novembre','décembre');

 var last = document.lastModified;
 var date = new Date(last);
 document.write("Derni&egrave;re modification le " + days[date.getDay()] + ' ' +
     date.getDate() + " " +
     months[date.getMonth()] + " " +
     date.getFullYear() + ".");
 //-->