Gnocchi, ham and pea gratin

Serves 4total time 35 mins