Wok aux brocolis, champignons, chou et carottes