Group law on the neutral component of the Jacobian of a real curve of genus 2 having many real components A quantitative version of Siegel's theorem: integral points on elliptic curves and Catalan curves 