Na venda de uma casa herdada, tenho que declarar alguma coisa em IRS?