Le Sénat approuve un budget de défense de 852 milliards €, dépassant la demande de Trump