date = document.lastModified;
	jour = date.charAt(3)+date.charAt(4);
	mois = date.charAt(0)+date.charAt(1);
	an = date.charAt(6)+date.charAt(7)+date.charAt(8)+date.charAt(9);
	
	document.write("Dernière mise à jour le ",jour,"/",mois,"/",an);