Restaurant
Le petit déjeuner est servi sous forme de buffet de 07h30 à 10h30 du lundi au vendredi, et de 08h30 à 11h00 les week-ends et jours fériés. Il se compose de boissons chaudes, charcuterie, fromage, pains et croissants, fruits frais, confitures et gelées, et yaourts. Le petit déjeuner est gratuit pour les enfants de moins de 12 ans.