Cours d'exploitation des mines, 1882-83 /