Ragoût de champignons au paprika | Recette