L'interopérabilité des systèmes informatiques est un besoin important dans une société mondialisée où les entreprises tendent plus à communiquer et à intégrer leurs systèmes qu'à rester isolées. Cette notion implique de faire communiquer et de coordonner efficacement des systèmes qui souvent n'ont pas été conçus pour fonctionner ensemble. Afin d'obtenir l'interopérabilité, il s'avère donc toujours nécessaire de modifier les systèmes existants pour les intégrer dans un nouveau système, mais en réutilisant autant que possible les notions liées aux systèmes préexistants. Les langages de programmation, en tant qu'outils de construction de systèmes informatiques, jouent un rôle non négligeable dans les solutions aux problèmes d'interopérabilité, en particulier lorsque les systèmes ont été construits avec des langages différents. Les langages de programmation peuvent être considérés également comme des systèmes qui interopèrent grâce à des mécanismes spécifiques permettant aux programmes écrits dans les différents langages d'échanger des données et d'invoquer des algorithmes. Ces mécanismes sont appelés emph{interfaces à un langage étranger} (ILE). L'objectif de cette thèse est de définir théoriquement le concept de l'interopérabilité des langages de programmation et de proposer un cadre conceptuel pour étudier et spécifier des mécanismes d'interopérabilité, à partir de la combinaison systématique des sémantiques opérationnelles des langages. Notre cadre peut s'appliquer à la formalisation d'interfaces (ILE) existantes entre deux langages de programmation où l'un est implémenté dans l'autre, et à la conception de nouvelles interfaces entre langages de programmation qui ont des implémentations indépendantes. / Interoperability of computing systems is a real need in a ``global society' where most enterprises want to communicate and integrate their information systems. This concept implies to coordinate systems that were not designed at the start to work together. Hence, to obtain the interoperability, it is always necessary to modify the existing systems and integrate them into a new system, for which the concepts related to those legacy systems have been reused as most as possible. Programming languages are an essential tool for building computing systems, so they play a non negligible role in the solutions for interoperability, specially when systems have been built with different languages. We can also consider programming languages as interoperable systems that can work together by defining mechanisms that allow programs written in the different languages to exchange data and algorithm calls. Those mecanisms are incorportated into a {it foreign-language interface} (FLI). The main goal of this thesis is the definition of a conceptual framework for programming language interoperability. That framework is based on the systematic composition of the execution models of programming languages according to a mechanism for program interoperability. We use the formalism of structural operational semantics as the way to have precise descriptions of execution models of programming languages. Our framework can be used to describe existing interfaces (FLI) between two programming languages where one of the languages is implemented in the other language, and to design new interfaces for programming languages that have independent implementations.