Group law on the neutral component of the Jacobian of a real curve of genus 2 having many real components The Euler characteristic of local systems on the moduli of curves and abelian varieties of genus three 