Un cadre conceptuel pour l'interopérabilité des langages de programmation