Séminaire Henri Cartan - Cartan, Henri