function aff_date_maj() {
var d = new Date(document.lastModified);
numero = d.getDate();
if (numero<10)
	numero = "0"+numero;
mois = d.getMonth();
mois++;
if (mois < 10)
	mois = "0" + mois;
annee = d.getFullYear();
document.write(numero + "/" + mois + "/" + annee);
}