Group law on the neutral component of the Jacobian of a real curve of genus 2 having many real components The Deligne-Mumford compactification of the real multiplication locus and Teichmüller curves in genus 3 