Quatre élèves vietnamiens primés aux Olympiades internationales d'informatique 2020