tester l'egalité x+y-3=xy pour x=4 et y=1