2020, année record pour les dépenses militaires dans le monde