general directorate of military industries - Allemand Anglais Dictionnaire