Deficit Pib France 2023