Group law on the neutral component of the Jacobian of a real curve of genus 2 having many real components A restriction on the combinatorial structure of counterexamples to the Jacobian conjecture at infinity 