gnocchis champignons