Henri Cartan, mathématicien