Direction générale des ressources humaines, responsable du service des personnels ingénieurs, administratifs, techniques, sociaux et de santé et des bibliothèques à l'administration centrale des ministères de l'éducation nationale et de l'enseignement supérieur et de la recherche (organisation)