Les États-Unis vont retirer 11 900 militaires d'Allemagne, et en redéployer une moitié en Europe