function imprimer(fichier) {
    document.write("<p><a href=\"" + fichier + "\">Version imprimable</a></p>");
    document.write("<p>&nbsp;</p>");
}