Gratin de gnocchi,tomate, basilic