Pour une histoire de la protection sociale des fonctions publiques (XIXe–XXIe siècles)