Group law on the neutral component of the Jacobian of a real curve of genus 2 having many real components On the rational points of abelian varieties over \({\mathbb{Z}}_ p\)- extensions of number fields 