Pêche aux points rationnels d'une courbe elliptique

lorsque la plus grande racine réelle de x^3+ax+b est rationnelle