Piscina municipal, ROMANGORDO