<:PriceSpecification rdf:about="https://data.datatourisme.fr/10f080ff-7ce4-335a-971c-dcb18cdd7cb3"> Petit-déjeuner servi en buffet de 7:30 à 10:00 10.0 12.0 EUR