Archivmaterialien zu Alain Badiou, 1937- - Badiou, Alain