Dans ce Livre, nous proposons une methode rigoureuse, formellement fondee pour traiter de l'interoperabilite d'une famille de langages dedies (DSL) issus d'un meme domaine metier. A partir de la semantique de chacun des DSL, notre demarche construit, par un calcul de co-limite sur des specifications algebriques, un langage qui unifie les concepts de la famille. L'approche se caracterise notamment par la capacite a traduire automatiquement le code d'un DSL vers le langage unificateur. Un autre benefice reside dans la preuve qu'une propriete sur un langage de la famille se decline, par construction, vers l'environnement unifie. La mise en uvre de la demarche a ete outillee; elle s'appuie principalement sur le logiciel Specware de Kestrel et l'assistant de preuve Isabelle."