Scallops au gratin with porcino mushrooms.