Les dépenses militaires mondiales atteignent un nouveau record en 2023