Aiguillonnée par les menaces de Donald Trump de claquer la porte de l’Otan, l’Europe est la région où les dépenses militaires ont le plus progressé, à 864 milliards de dollars.