Group law on the neutral component of the Jacobian of a real curve of genus 2 having many real components A Jacobi-type formula for a family of hyperelliptic curves of genus 3 with automorphism of order 4 