Une recette de Pak-choi (chou Shanghai) avec une cuisson simple et rapide