Filet de mignon au marsalla, gratin dauphinois*