l exploitation minière dans la révolution industrielle