  For $E$ an elliptic curve over a perfect field $K$, we present a proof of the
existence of the dual isogeny $\hat{\phi}$ using computational methods linked
to V{\'e}lu's formulae instead of the standard Galois correspondence method.
