The provided Supervisor PIN is Wrong. El pin de supervisor introducido es erroneo.
Restaurant Buffet
Le restaurant buffet propose un petit déjeuner quotidien et des dîners à thème. Tous les repas comprennent un coin cuisine en direct.
Possibilités : petit-déjeuner et demi-pension
Petit-déjeuner : plusieurs variétés de pains, fruits frais, céréales, charcuterie, fromages, œufs, jus de fruits et café.
Dîners à thème : cuisine asiatique, espagnole et KM0, latine, tex-mex, méditerranéenne, tropicale, dîner de gala.
Petit-déjeuner : 8h00 - 10h30
Dîner : 18h30 - 21h00*
*En juin, juillet et août, l''horaire du dîner peut être prolongé jusqu''à 21h30.
Les horaires peuvent être modifiés. Un code officiel est nécessaire pour accéder au restaurant. Il est interdit d''emporter de la nourriture ou des boissons à l''extérieur du restaurant.