Group law on the neutral component of the Jacobian of a real curve of genus 2 having many real components Seminar on arithmetic bundles: the Mordell conjecture (held at the École Normale Supérieure, Paris 1983--1984) 