<!-- Debut script date de modification //-->
function Tableau(n) {
   this.length=n;
   return this; }
function DateModif() {
   NomMois=new Tableau(12)
   NomMois[1]="janvier"
   NomMois[2]="février"
   NomMois[3]="mars"
   NomMois[4]="avril"
   NomMois[5]="mai"
   NomMois[6]="juin"
   NomMois[7]="juillet"
   NomMois[8]="août"
   NomMois[9]="septembre"
   NomMois[10]="octobre"
   NomMois[11]="novembre"
   NomMois[12]="décembre"
   Date=new Date(document.lastModified)
   var Mois=NomMois[Date.getMonth()+1]
   var Annee=Date.getYear()
   return Date.getDate()+" "+Mois }

<!-- Script pour l affichage de la date de derniere modif suivant la plateforme -->
if (navigator.platform == "IRIX6.2") {
		document.write(document.lastModified);
		}
if (navigator.platform == "IRIX64 IP30") {
		document.write(document.lastModified);				
		}
if (navigator.platform == "IRIX64 IP35") {
		document.write(document.lastModified);				
		} else {
		document.write(DateModif());
		}