Dopées par le secteur naval, les exportations françaises d’armement ont atteint 8,3 milliards d’euros en 2019