ingénieur général des mines

chef de la mission des annales des mines du Conseil général de l'économie, de l'industrie, de l'énergie et des technologies