Résolution d'un problème de découpe à deux dimensions en programmation logique avec contraintes.