Quatre lycéens vietnamiens primés aux Olympiades internationales d'informatique 2023