Un formalisme pour la construction automatique d'interactions dans les SMA réactifs (article court).