// Ce script indique la date de derniere modification du fichier html
// last modified script by Bernhard Friedrich; should work in all browsers

var a;
a=new Date(document.lastModified);
lm_year=a.getYear();lm_year=((lm_year<1000)?((lm_year<70)?2000:1900):0)+lm_year;
lm_month=a.getMonth()+1;lm_month=((lm_month<10)?'0':'')+lm_month;
lm_day=a.getDate();lm_day=((lm_day<10)?'0':'')+lm_day;
lm_hour=a.getHours();lm_hour=((lm_hour<10)?'0':'')+lm_hour;
lm_minute=a.getMinutes();lm_minute=((lm_minute<10)?'0':'')+lm_minute;
lm_second=a.getSeconds();lm_second=((lm_second<10)?'0':'')+lm_second;
monthName = new Array(12)
monthName[0] = 'Janvier'
monthName[1] = 'F&eacute;vrier'
monthName[2] = 'Mars'
monthName[3] = 'Avril'
monthName[4] = 'Mai'
monthName[5] = 'Juin'
monthName[6] = 'Juillet'
monthName[7] = 'Ao&ucirc;t'
monthName[8] = 'Septembre'
monthName[9] = 'Octobre'
monthName[10] = 'Novembre'
monthName[11] = 'D&eacute;cembre'
document.write("<font face=\"Times New Roman\" size=\"2\">");
document.write(lm_day+' '+monthName[lm_month-1]+' '+lm_year+' '+lm_hour+':'+lm_minute+':'+lm_second);
document.write("<\/font>");