Almost finished the typographic revision of Cartan