Group law on the neutral component of the Jacobian of a real curve of genus 2 having many real components A nearly optimal algorithm for deciding connectivity queries in smooth and bounded real algebraic sets 