Contribution à la programmation en nombre entier