Programmation concurrente par contraintes explicitement répartie.