Bonjour Je voulais juste savoir si le 12 mai est un jour férié ? Est-ce que les bains thérmaux sont ouverts ?