Un algorithme de programmation par contraintes pour la recherche d'allocations leximin-optimales