Gnocchis sauce tomate, olive et ricotta

Ingrédients

• 600g de gnocchis
• 1 cs d'olivade
• 1/2 oignon
• 1 gousse d'ail
• 1 petite boîte de tomates concassées
• 2 cc de concentré de tomate
• 2 cs de ricotta
• 200g de champignons (de Paris pour moi)
• Une dizaine d'olives noires dénoyautées
• 6 feuilles de basilic (fraiches si possible)
• Sel, poivre
• 1/2 cc de thym
• huile d'olive