La technique minière et métallurgique des anciens - Ramin, Jacques (1977)