Email Record: Lie-Cartan-Ehresmann theory /