Dictionnaire biographique mouvement ouvrier mouvement social période 1940 - 1968; de la Seconde Guerre mondiale à mai 1968 (Collection Jean Maitron, 2009)