Text this: Claude Pennetier (dir.), Le Maitron – Dictionnaire biographique / Mouvement ouvrier. Mouvement social / De 1940 à mai 1968, tome 7