Champignon de Paris : doit-on vraiment l'éplucher avant de le cuisiner ?