/*
SCRIPT EDITE SUR L'EDITEUR JAVASCRIPT
http://www.editeurjavascript.com
*/
navvers = navigator.appVersion.substring(0,1);
if (navvers > 3)
	navok = true;
else
	navok = false;

var derniereModif = document.lastModified;
var dateModif = new Date(derniereModif);
var mois = dateModif.getMonth();
if (navok)
	annee = dateModif.getFullYear();
else
	annee = dateModif.getYear();
var jour = dateModif.getDate();
if (jour<10)
	jour = "0"+jour;
TabMois = new Array("janvier","février","mars","avril","mai","juin","juillet","aout","septembre","octobre","novembre","dééembre");
thisLastUpdate = jour + " " + TabMois[mois] + " " + annee;