Algebre di campi vettoriali completi di Hörmander, e la costruzione di gruppi di Lie