Chiến dịch Đông Dương (1940) – Theo ngôn ngữ khác