Obras de reparación en el polideportivo de La Mina