function affichageDateModification(langue, optionHeure) {
	
// Affichage de la date de modification du document
// langue : 1=français, 3=anglais, 4=italien, 5=allemand
// optionHeure : si 1, les heures et minutes sont affichées
	
	var derniereModif=document.lastModified;
	var dateModif = new Date(derniereModif);
	var iMois = dateModif.getMonth()+1;
		var Mois = "";
		if (iMois < 9)
			 Mois  = "0"+iMois;
		else
			 Mois = iMois;

	var iJour = dateModif.getDate();
		var jour = "";
		if (iJour < 9)
			 jour  = "0"+iJour;
		else
			 jour = iJour;
         
	var annee=dateModif.getYear();
	if(annee <1000) annee = 1900 + annee;
	
	var iHeures=dateModif.getHours();
		var heures = "";
		if (iHeures < 9)
			 heures  = "0"+iHeures;
		else
			 heures = iHeures;

	var iMinutes=dateModif.getMinutes();
		var minutes = "";
		if (iMinutes < 9)
			 minutes  = "0"+iMinutes;
		else
			 minutes = iMinutes;
         

	if(langue ==1)
		document.write("Derni&egrave;re modification : ");
	else if(langue ==3)
		document.write("Last modified: ");
	else if(langue ==4)
		document.write("Aggiornato : ");
	else if(langue ==5)
		document.write("Aktualisiert : ");
	else 
		document.write("Error : script [affichageDateModification], langue incorrecte");
	document.write(annee+"-"+Mois+"-"+jour);
	if(optionHeure == 1) 
		document.write(" " + heures+":"+minutes);
}