Faire sauter le brocoli et les champignons.