Diderot et l'"Encyclopédie" — Jacques Proust