Disuguaglianze di Sobolev con termini di resto sul gruppo di Heisenberg