Group law on the neutral component of the Jacobian of a real curve of genus 2 having many real components Preuve des conjectures de Tate et de Shafarevitch [D'après G. Faltings]. (Proof of the conjecture of Tate and Shafarevich [After G. Faltings]) 