Group law on the neutral component of the Jacobian of a real curve of genus 2 having many real components Formal finiteness and the torsion conjecture on elliptic curves. A footnote to a paper of Kamienny and Mazur 