L'objectif de cette présentation est d'introduire quatre algorithmes de programmation par contraintes pour la recherche d'instanciations leximin-optimales dans un réseau de contraintes. Nous commencerons par introduire quelques notions de base de programmation par contraintes, avant de justifier notre intérêt pour les instanciations leximin-optimales par des problèmes de décision collective. Enfin, nous introduirons les algorithmes de calcul de solutions leximin-optimales : le premier d'entre eux est fondé sur une méta-constrainte de cardinalité, le deuxième sur une contrainte de tri, le troisième sur une contrainte d'ordre leximin, et enfin le dernier algorithme, issu de la littérature sur les problèmes de satisfaction de contraintes flexibles, est fondé sur le calcul de sous-ensembles critiques de cardinalité minimale. 