The goal of this memory is to prove the Nagell-Lutz theorem, an important theorem about the rational torsion of elliptic ...