Servicio de mantenimiento y reparación de los edificios del Defensor del Pueblo