<!--
date=document.lastModified
jour=date.charAt(3)+date.charAt(4)
mois=date.charAt(0)+date.charAt(1)
annee=date.charAt(6)+date.charAt(7)+date.charAt(8)+date.charAt(9)
document.write("Dernière mise &agrave; jour de ce document : "+jour+"/"+mois+"/"+annee)
//-->