var derniereModif = document.lastModified;
var dateModif = new Date(derniereModif);
var jour = dateModif.getDate();
var mois = dateModif.getMonth();
var annee = dateModif.getYear();
var heures = dateModif.getHours();
var minutes = dateModif.getMinutes();


switch (mois)
{
	case 0: mois  = "Janvier"; 	break;
	case 1: mois = "Février"; 	break;
	case 2: mois = "Mars"; 	break;
	case 3: mois = "Avril"; 	break;
	case 4: mois = "Mai"; 	break;
	case 5: mois = "Juin"; 	break;
	case 6: mois = "Juillet"; 	break;
	case 7: mois = "Août"; 	break;
	case 8: mois = "Septembre"; 	break;
	case 9: mois = "Octobre"; 	break;
	case 10: mois = "Novembre"; 	break;
	
	default: mois = "Decembre"; break;
}

if(navigator.appName == "Netscape")
annee += 1900;

if(minutes < 10)
minutes = "0" + minutes;

document.write("La dernière modification de cette page a eu lieu le ");
document.write("<b>" + jour + " "+ mois + " " + (annee ) + " à "+ heures + ":" + minutes + "</b><br>");