Les mines, Encyclopedie, Diderot et d'Alembert