P. Roy Etude et réalisation d'un système de satisfaction de contraintes avec application à l'harmonisation musicale40 Ce rapport est une mise à jour du rapport de stage de DEA IRO de Pierre Roy, effectué au LAFORIA de juin à septembre 1994. Il con­ cerne l'étude de l'état de l'art en matière de techniques de propagation de contraintes, en particulier les techniques dites d' arc-cohérence, et une implémentation en Smalltalk-80 des algo­ rithmes principaux. En outre, ce travail comporte une application de ces techniques à un problème réputé difficile: l'harmonisation automatique de chorals à 4 voix. Les résultats de ce système sont comparés aux approches existantes. Ils montrent que l'utilisation systématique d'objets, au sens de la PPO (structure et méthodes) permet de réduire considérablement la complexité du système, en limitant le nombre de variables contraintes. This is the final version of Pierre Roy's report for his re­ search project (DEA-IRO) spent at LAFORIA from June to September 1994. It concerns the study of the state of the art in constraint propagation techniques, especially arc consistency techniques, and an implementation in Smalltalk of the main algorithms. More­ over, we applied these techniques to a problem known to be hard: automatic harmonization of four-voice chorals. The performances of the resulting system are compared to previous approaches. They show that the systematic use of objects (structures and methods) allows to reduce drastically the system's complexity by limiting the number of constrained variables.