à propos des machines d exploitation minière