20230724120334.692690 France Journal des mines. 2025-1521 Journal des mines (Paris. 1854) Journal des mines (Paris. 1854) Journal des mines.