(See [1]}).
In [2]} Pansu introduced an appropriate notion of differentiability for functions acting between Carnot groups. We recall this definition in the particular instance that is relevant here.
