Denis diderot contributions to mineralogy