Marinated Ardennes pork tenderloin with sauce chasseur (Sint Bernardus Prior 8) choice between warm and cold vegetables