recette gnocchi lardons champignons