Group law on the neutral component of the Jacobian of a real curve of genus 2 having many real components Arithmetical properties of \([p^k]\)-series associated to \(p\)-typical formal group laws and applications 