Characterization by Asymptotic Mean Formulas of q−Harmonic Functions in Carnot Groups