In the setting of Carnot-Carath¨¦odory spaces we prove some trace theorems for Sobolev functions. We consider the trace on a non characteristic surface for H?rmander vector fields of step and the trace on the boundary of a class of domains in the Grushin plane.