Piscine d’été (Juin-Juillet-Août); obligatoire le bonnet de bain.