function MiseAJour() {



var lastMod = document.lastModified;
var month = new Array("Janvier","Février","Mars","Avril","Mai","Juin","Juillet","Août","Septembre","Octobre","Novembre","Décembre");
var lastDate = new Date(lastMod);
var monmail="<a href=mailto:";
monmail +="infos@";
monmail +="marinaweb.org>";
document.write('Claude Marinangeli<br>');
document.write(monmail+"infos@marinaweb.org</a><br>");
document.write('Dernière mise à jour :<br>');
document.write(lastDate.getDate()+" ");
document.write(month[lastDate.getMonth()]+" ");
document.write(lastDate.getYear());
}