Dictionnaire biographique mouvement ouvrier mouvement social période 1940 - 1968 ; de la Seconde Guerre mondiale à mai 1968 - Pennetier, Claude 1947- (Maitron, 2006)