Group law on the neutral component of the Jacobian of a real curve of genus 2 having many real components The non-existence of abelian varieties of type (K) with everywhere good reduction over imaginary quadratic fields 