États-Unis : le déficit public américain s'est réduit entre octobre et juin