//	__________________________________________________
//	
//	
//	DATE DE DERNIERE MODIFICATION DU FICHIER
//	
//	

function dernModif(){

	var texte = new String();
	var arrMois = new Array("janvier", "février", "mars", "avril", "mai", "juin", "juillet", "août", "septembre", "octobre", "novembre", "décembre");
	update = new Date(document.lastModified);
	lMois = update.getMonth();
	lDate = update.getDate();
	lAnnee = update.getYear();

				// Regle le probleme Y2K de la date

	if (lAnnee < 1900){	// Y2K
		lAnnee = lAnnee + 1900;
		}

	texte = "Derni&egrave;re mise &agrave; jour de cette page : " + lDate + " " + arrMois[lMois] + " " + lAnnee + ".";
	document.write(texte);
	}