To add. The Battle of Dien Bien Phu involved fighting men from France, Vietnam (both sides), North Africa, West Africa, Foreign Legionaires from all corners of the globe. It is fascinating.
France at one time had many far flung colonies.