function printLinks() {
	document.write("<p class=\"aligncenter\">");
	document.write("<a id=\"hautPage\" href=\"#document\">haut de page</a>");
	document.write(" | ");
	document.write("<a id=\"print\" href=\"javascript:window.print();\" title=\"Lancer l'impression de ce document (nouvelle fenêtre)\">imprimer</a>");
	document.write("</p>");
	document.write("</p>");
}