'<div class="navigation">\
<a href="accueil.html">\
<img src="../images/precedente.png"></a><a href="#"\
 onclick="window.open(\'navigation.html\',\'navigation\')"><img src="../images/navi.png" alt="Navigation"></a>\
<a href="licence.html"><img src="../images/suivante.png"></a></div>\
</body>\
</html>'


nombre = document.anchors.length;

document.write("<div class=\"ancres\"><p>Acc&egrave;s rapide &agrave; la page "); 

for (i=0;i<document.anchors.length;i++)
{
    document.write(", <a href=\"#"+document.anchors[i].name+"\">"+document.anchors[i].name+"</a>");
}
document.write("</p>");
document.write("</div>");