Statistics of Des Mineurs et des Savants, comment l'exploitation houillère a contribué au progrès des sciences et des techniques