Montrer que l'équation $y^2 = x(x+1)(x+2)(x+3)$ n'admet pas de solutions
entières toutes positives.
