  We adapt to the Heisenberg group a minimization problem with horizontal
divergence-type constraint. We investigate its dual formulation and its
connection with the congested optimal transport problem, for $1<p<+\infty$, and
the Monge-Kantorovich problem, in the limit case $p=1$.
