La piscine devrait rouvrir au public lundi 5 octobre