  We prove that the family of normal currents in the sense of Rumin in a Carnot
group is compact in the flat topology. This result is obtained through a dual
compactness argument for Rumin forms, using the pseudo-differential calculus in
groups developed by Folland, Christ-Geller-G lowacki-Polin and Rumin. As an
application, imitating de Pauw-Moonens-Pfeffer, we describe the space of
charges on a Carnot group.
