Manual del minero (Banco de la República, 1986)