Cómo tributa la ganancia patrimonial en el IRPF por la venta de una vivienda (y cómo calcularlo con precisión)