function updateDate () {
// ce script permet de mettre à jour la date lors d'une modification.
// source :http://www.unifr.ch/weboffice/blog/2006/10/11/afficher-automatiquement-la-date-de-modification/

  date = document.lastModified;
  jour = date.charAt(3) + date.charAt(4);
  mois = date.charAt(0) + date.charAt(1);
  annee = date.charAt(6) + date.charAt(7) + date.charAt(8) + date.charAt(9);
  document.write(jour+"."+mois+"."+annee);
}