<!--
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);
minutes=lastDate.getMinutes()
document.write('<p>&nbsp;</p>');
document.write("<p align=right><em>mise à jour : ");
document.write(lastDate.getDate()+" "+month[lastDate.getMonth()]+" ");
document.write(lastDate.getFullYear()+"<br>François Haffner - <a href='mailto:haffner@free.fr'>haffner@free.fr</a></em></p>");
document.write('<p>&nbsp;</p>');
document.write('<p>&nbsp;</p>');
document.write('<p>&nbsp;</p>');
document.write('<p>&nbsp;</p>');
document.write('<p>&nbsp;</p>');
document.write('<p>&nbsp;</p>');
// -->