Group law on the neutral component of the Jacobian of a real curve of genus 2 having many real components Parametrizing the moduli space of curves and applications to smooth plane quartics over finite fields 