First peas and carrots make a summer gnocchi dish in the restaurant.