Piscina “Los Arcos”, la que fue piscina de Ronda durante muchos años.