filet mignon de porc pousses de bambou lait de coco bouillon de volaille échalote ail gingembre frais nuoc-mâm cassonade basilic thaï pâte de curry rouge ou jaune