Group law on the neutral component of the Jacobian of a real curve of genus 2 having many real components Minorations effectives de formes linéaires de logarithmes sur les groupes algébriques. (An effective lower bound for linear forms in logarithms on algebraic groups) 