Su biblioteca personal, con manuscritos y documentos, fue graciosamente cedida a la "Real Biblioteca do Rio de Janeiro", más tarde rebautizada como "Biblioteca Nacional de Brasil".