Que pèsent les exportations d’armement dans l’économie française?