Les dépenses militaires mondiales ont augmenté en 2020, malgré la crise du coronavirus