we prove in this work the trace and trace lifting theorems for the sobolev spaces associated with a system of hörmander’s vectors fields of order 2. the case of non-degenerate characteristic points for left invariant vector fields on the heisenberg group is also studied.