Tirées par l'Europe, les dépenses militaires mondiales ont atteint un niveau record en 2025