Group law on the neutral component of the Jacobian of a real curve of genus 2 having many real components Numeric and certified isolation of the singularities of the projection of a smooth space curve 