Résumé : Le développement des systèmes multi-agents (SMA) demeure ardu car la conception d’architectures d’agents capables de résoudre des problèmes complexes n’est pas triviale. La question qu’on soulève à partir de la controverse sur les SMAs, c’est comment modéliser d’une manière rigoureuse et concise aussi bien un agent que ses interactions. C’est dans ce but que nous nous intéressons, dans ce papier, à un formalisme simple, générique et riche en techniques de résolution et de renforcement de cohérence. L’idée est de modéliser un agent par un CSOP (Problème d’Optimisation et de Satisfaction de Contraintes) et par conséquent un SMA par un DCSOP (Problème d’Optimisation et de Satisfaction de Contraintes Distribué).