document.write('Accueil'); document.write('Prestations'); document.write('L\'Hôtel'); document.write('Le Restaurant'); document.write('L\'environnement et les activités'); document.write('Réservations'); document.write('Contact');