<!-- 

function jour(nombre) {
        return (nombre == 1) ? "1er" : nombre;
}

function an(annnee) {
    annnee = annnee - 0;
    if (annnee < 83) return (2000 + annnee);
    if (annnee < 2000) return (1900 + annnee);
    return annnee;
}

  var dateModif = new Date(document.lastModified);
  var mois = new Array("JANVIER", "FEVRIER", "MARS", "AVRIL",
             "MAI", "JUIN", "JUILLET", "AOUT", "SEPTEMBRE",
             "OCTOBRE", "NOVEMBRE", "DECEMBRE");
  document.write(jour(dateModif.getDate()) + "&nbsp;" + 
mois[dateModif.getMonth()]
            + "&nbsp;" + an(dateModif.getYear()));

//-->