France. Armée#;#Régiment étranger d'infanterie