Courgettes farcies aux champignons

Dans cette recette, la courgette fait office de barquette. On la creuse à la cuillère et on la garnit de champignons poêlés. En ce début d'été, on choisira plutôt les girolles ou à défaut, des champignons de Paris, auxquels on ajoute un oignon et quelques tomates cerise juteuses.