Mare o piscina?

Se quelli che vanno al mare a fare i bagni si chiamano bagnanti,
come si dovrebbero chiamare quelli che vanno in piscina? (Fichi
d'India)