Hô Chi Minh-Ville célèbre la Révolution russe d'Octobre 1917