<:PriceSpecification rdf:about="https://data.datatourisme.fr/be32d375-a600-3c42-8316-5f91e14e9573"> Petit-déjeuner enfant : 8 euros (- de 10 ans) 12.0 12.0 EUR