Gnocchi in a butter garlic sauce with peas