France : hausse record de la dette publique à 114,1% du PIB à fin juin (Insee)