<:PriceSpecification rdf:about="https://data.datatourisme.fr/473bfb9f-7e2e-3072-bd8b-309de0a4c9e2"> Petit-déjeuner buffet : Adulte 14,90 € - Enfant 7,45 € 7.45 14.9 EUR