Regularity near the characteristic set in the non-linear Dirichlet problem and conformal geometry of sub-Laplacians.