Para que serve um diferencial residual quando instalado numa habitação