Basic derivative formulas are presented for hypoelliptic heat semi-groups and harmonic functions extending earlier work in the elliptic case. Following the approach of 15], emphasis is placed on developing integration by parts formulas at the level of local martingales. Combined with the optional sampling theorem, this turns out to be an eecient way of dealing with boundary conditions, as well ...