Nettoyer les champignons, retirer leurs pieds et les détailler en lamelles.
Peler les oignons et les hacher.
Les faire revenir dans une sauteuse avec l’huile.
Incorporer les champignons et poursuivre la cuisson une dizaine de minutes.
Ajouter le coulis de tomates et la farine, laisser cuire 2 minutes de plus.
Faire cuire les gnocchis dans une casserole d’eau.
Les égoutter et les ajouter aux champignons.
Assaisonner de sel, de poivre et de paprika.
Transférer la préparation dans un plat allant au four.
Parsemer de fromage râpé.
Enfourner pour une dizaine de minutes.
Servir le gratin de champignons aux gnocchis.
