Herdeiro não depende de registro formal da partilha do imóvel para propor extinção do condomínio