document.write('<a href=index.htm>Accueil</a><BR><br>');
document.write('<a href=prestations.htm>Prestations</a><br><br>');
document.write('<a href=hotel.htm>L\'Hôtel</a><br><br>');
document.write('<a href=le_restaurant.htm>Le Restaurant</a><br><br>');
document.write('<a href=l_environnement.htm>L\'environnement et les activités</a><br><br>');
document.write('<a href=reservations.htm>Réservations</a><br><br>');
document.write('<a href=contact.htm>Contact</a><br><br>');