Inventário obrigatório de António José da Costa See original record