Ce travail propose un nouveau paradigme de reprA(c)sentation d'applications pour les machines virtuelles capable d'abstraire l'architecture des systA]mes informatiques. Les machines virtuelles actuelles reposent sur un modA]le unique de reprA(c)sentation d'application qui abstrait les instructions des machines et sur un modA]le d'exA(c)cution qui traduit le fonctionnement de ces instructions vers les machines cibles. S'ils sont capables de rendre les applications portables sur une vaste gamme de systA]mes, ces deux modA]les ne permettent pas en revanche d'exprimer la concurrence sur les...