Fin de la saison estivale pour la piscine municipale