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