Le PIB de la France a baissé de 0,1% au 3e trimestre 2023