Wok de légumes et œufs durs