Title: Les champignons du diable, or, Imperial mushrooms