Une majorité écrasante du Sénat américain approuve un budget militaire record de 700 milliards de dollars