La piscine sera ouverte le lundi 20 mai, jour férié, de 9h à 12h30.