mange-tout with pine nuts