L'article propose une approche formelle de fusion d'ontologies se reposant sur les grammaires de graphes typés. Elle se décompose en trois étapes : 1) la recherche de similarités entre concepts ; 2) la fusion des ontologies par l'approche algébrique SPO (Simple Push Out) ; 3) l'adaptation d'une ontologie globale par le biais de règles de réécriture de graphes. Contrairement aux solutions existantes, cette méthode offre une représentation formelle de la fusion d'ontologies ainsi qu'une implémentation fonctionnelle basée sur l'outil AGG.