Revue d'histoire des mines et de la métallurgie