Faire cuire les gnocchis en suivant les indications sur le paquet.
Retirer les pieds des champignons et les laver, puis les découper en lamelles.
Peler les oignons et les hacher.
Les faire sauter dans une poêle avec un peu d’huile.
Laisser cuire une dizaine de minutes.
Ajouter le coulis de tomate et les champignons.
Poursuivre la cuisson 5 minutes.
Incorporer les gnocchis, du sel, du poivre et du paprika.
Transférer le tout à l’intérieur d’un plat allant au four.
Parsemer du fromage râpé et faire gratiner une dizaine de minutes au four.
Parsemer de basilic haché et servir le gratin de gnocchis aux champignons.
