Placez une grande casserole d'eau sur le feu, ajoutez une pincée de sel et attendez quelques minutes pour que l'eau arrive à ébullition. Passez les choux de Bruxelles sous l'eau froide et retirez les feuilles jaunies. Coupez-les en deux dans le sens de la hauteur et faites une incision au niveau de la tige. Cela aidera la chaleur à pénétrer dans les choux de Bruxelles. Ils devraient commencer à être plus tendres. Ensuite, égouttez-les. Mettez 2 c. de beurre, 1 c. de sel et 1 gousse d'ail émincée dans une casserole. Faites revenir 1 à 2 minutes pour que l'ail libère tout son arôme. Incorporez délicatement aux choux de Bruxelles les autres ingrédients et mélangez bien. Si la poêle est trop sèche, ajoutez un peu de beurre.

How would you rephrase that briefly using Vietnamese?
Đun sôi một nồi nước. Rửa bắp cải Brussels. Cắt bắp cải Brussels. Luộc bắp cải Brussels khoảng 5-10 phút. Thêm bơ, muối và tỏi vào chảo để hầm. Hầm bắp cải Brussels khoảng 3-5 phút hoặc đến khi có màu nâu.