document.write("<font size='-3'>Derni&egrave;re mise &agrave; jour&nbsp;: ");
d = new Date(document.lastModified);
switch (d.getDay()) {
  case 1: document.write("lundi"); break;
  case 2: document.write("mardi"); break;
  case 3: document.write("mercredi"); break;
  case 4: document.write("jeudi"); break;
  case 5: document.write("vendredi"); break;
  case 6: document.write("samedi"); break;
  case 0: document.write("dimanche"); break;
  default: document.write("<font color='red'>jour inconnu</font>");
}
document.write("&nbsp;");
if (d.getDate() == 1) {
  document.write("1<sup>er</sup>&nbsp;");
} else {
  document.write(d.getDate()+"&nbsp;");
}
switch (d.getMonth()) {
  case 0: document.write("janvier"); break;
  case 1: document.write("f&eacute;vrier"); break;
  case 2: document.write("mars"); break;
  case 3: document.write("avril"); break;
  case 4: document.write("mai"); break;
  case 5: document.write("juin"); break;
  case 6: document.write("juillet"); break;
  case 7: document.write("ao&ucirc;t"); break;
  case 8: document.write("septembre"); break;
  case 9: document.write("octobre"); break;
  case 10: document.write("novembre"); break;
  case 11: document.write("d&eacute;cembre"); break;
  default: document.write("<font color='red'>mois inconnu</font>");
}
document.write("&nbsp;" + d.getFullYear());
h = d.getHours()+""; if (h.length == 1) { h = "0"+h; }
m = d.getMinutes()+""; if (m.length == 1) { m = "0"+m; }
document.write(" " + h + "&nbsp;h&nbsp;" + m);
document.writeln("</font>");