Group law on the neutral component of the Jacobian of a real curve of genus 2 having many real components The rationality of the moduli space of genus-4 curves endowed with an order-3 subgroup of their Jacobian 