Public swimming pool