// Outils divers
// v1.0     20.04.07

function afficheDateModif () {
	var modif = new Date(document.lastModified);
	var jour  = modif.getDate();
	var mois  = modif.getMonth() + 1;
	
	if (jour < 10) { jour = "0" + jour; }
	if (mois < 10) { mois = "0" + mois; }
	
	document.write(" " + jour + "/" + mois + "/" +  modif.getFullYear());
}