recette gratin dauphinois au champignons