/*
Script pour date de mise à jour de la page
*/
function datemaj()
{
var months = new Array(13);
months[1] = "janvier";
months[2] = "février";
months[3] = "mars";
months[4] = "avril";
months[5] = "mai";
months[6] = "juin";
months[7] = "juillet";
months[8] = "aôut";
months[9] = "septembre";
months[10] = "octobre";
months[11] = "novembre";
months[12] = "décembre";
var dateObj = new Date(document.lastModified)
var lmonth = months[dateObj.getMonth() + 1]
var date = dateObj.getDate()
var fyear = dateObj.getYear()
if (fyear < 2000) 
fyear = fyear + 1900
document.write(date + " " + lmonth + " " + fyear)
}