Est-il déconseillé de laver les champignons ? On fait le point