Histoire de la sécurité sociale en Algérie (1830-1962) - France, Comité d'histoire de la sécurité sociale