Herb-grilled pork tenderloin with sweet potato gratin and mustard cream sauce.