Title: Notas e documentos ineditos para a biographia de João Pinto Ribeiro