DTIE 10.04 PISCINAS CUBIERTAS. CLIMATIZADAS CON AIRE EXTERIOR COMO ÚNICO MEDIO DESHIDRATANTE (TORRERO GRAS, PEDRO)