Les Champignons des environs de Clermont, par J.-B. Pedon, — Jean Baptiste Jules Pedon