Ovengnocchi met tonijn, champignons en tomaat