les éditeurs de l'Encyclopédie»" (1757).