1 pack de Pak Choi, 750 g de judías verdes , 2 cebolletas pequeñas picadas, 6 dientes de ajo laminados,