BOCAL: Bibliothèque d'objets pour le traitement des contraintes arithméthiques et logiques.