Os mineiros da floresta : sociedade e trabalho em uma fronteira de mineração industrial amazônica (1943-1964)