Les mines de charbon françaises depuis la guerre — Bernard Le Deschault de Monredon