antigua piscina municipal, SAN MARTIN DE LA VEGA DEL ALBERCHE