L’emploi salarié public en France a progressé de 0,1% au 3e trimestre 2023