Correction de GetInt: on peut maintenant rentrer des entiers négaifs!