Résumé : Ce travail se focalise sur la composition et la substituabilité de composants dans lessystèmes muitisagents (S.M.A), et montre que les approches traditionnelles déjà utilisées pourdévelopper les S.M.A sont limitées et parfois même non rigoureuses. Sur cette base, ce papierprésente une sémantique formelle pour la composition et la substituabilité comportementalede composants. Il propose une architecture formelle basée sur les relations de préordre quisont considérées dans l'étude des systèmes concurrents. Nous définissons diverses relationsde substitution comportementale, et nous étudions la préservation de propriétés de sûreté etde vivacité par ces relations. Nous montrons que les résultats obtenus sont compatibles avecla conception incrémentale des S.M.A. Des exemples de protocoles d'interaction comme le"Contract-Net Protocol" sont donnés pour illustrer notre approche.