Les exportations d'armement français en net recul en 2023, à 8,2 milliards d'euros