[Henrique da Rocha Lima: 1879-1956].