  It is known that there exists a natural functor $\Phi$ from Lie supergroups
to super Harish-Chandra pairs. A functor going backwards, that associates a Lie
supergroup with each super Harish-Chandra pair, yielding an equivalence of
categories, was found by Koszul [18]; this result was later extended by other
authors, to different levels of generality, but always elaborating on Koszul's
original idea.
  In this paper, I provide two new backwards equivalences, i.e. two different
functors $\Psi^\circ$ and $\Psi^e$ that construct a Lie supergroup (thought of
as a special group-valued functor) out of a given super Harish-Chandra pair, so
that any Lie supergroup is recovered from its naturally associated super
Harish-Chandra pair; more precisely, both $\Psi^\circ$ and $\Psi^e$ are
quasi-inverse to the functor $\Phi$.
