Gratin de patate douce et pommes de terre aux champignons des bois