document.write("<a href='situation.htm' class='choix'>Situation</a><br>");
document.write("<a href='historique.htm' class='choix'>Historique</a><br>");
document.write("<a href='concept.htm' class='choix'>Concept</a><br>");
document.write("<a href='generalites.htm' class='choix'>Généralités</a><br>");
document.write("<a href='realisations.htm' class='choix'>Réalisations</a><br>");