Sauce champignons, jambon de dinde gratinée à la mozzarella