Applications des moyens mécaniques dans l'exploitation des mines — P E Leroux