Group law on the neutral component of the Jacobian of a real curve of genus 2 having many real components Complexity of the computation of cylindrical decomposition and topology of real algebraic curves using Thom's lemma 