La Programmation Orientée Langage est un paradigme de programmation dans lequel le développement de logiciels passe par la conception de langages dédiés (DSL). On définit un ou plusieurs langages qui capturent les caractéristiques du domaine étudié, puis on écrit les applications visées en utilisant ces langages. Dans cet ouvrage, nous proposons une démarche méthodologique de développement logiciel reposant sur ce concept. Il s''agit de conduire la même démarche au niveau des langages que ce qui est classiquement fait au niveau des composants: comment peut-on créer de nouveaux langages par composition de langages réutilisables existants? Nous utilisons le formalisme des grammaires attribuées pour aborder la question. Nous tirons profit de leur traduction en algèbres de combinateurs fonctionnels pour définir des spécifications exécutables de langages dédiés (vus comme composants logiciels) plongés dans le langage fonctionnel pur Haskell. A partir d''exemples significatifs de conception et d''extension de DSL, nous proposons un typage de ceux-ci en vue de leur assemblage et leur réutilisation. Pour illustrer cette démarche, nous décrivons un DSL pour l''édition de documents structurés.