Piscines ouvertes au public (collectives), y compris les installations aquatiques de loisirs provisoires