Noix de saint Jacques à la royale de champignons