Gratin de pommes de terre, champignons et lentilles