Hausse record de la dette publique à 114,1 % du PIB à fin juin