Résumé : Dans cet article, nous spécifions une nouvelle extension du formalisme Goal Decomposition Tree pour décrire des agents composés d'agents. Cette notion correspond à une forme de décomposition particulière de but permettant d'introduire des agents spécifiques qui ont en charge la résolution des sous-buts du but décomposé ainsi. Nous décrivons la sémantique formelle de cette décomposition et nous définissons différents opérateurs pour la mettre en oeuvre. Nous décrivons également des cas d'utilisation typique de ce nouveau type de décomposition. Enfin, afin de préserver l'objectif principal des GDT (prouver des comportements d'agents), nous fournissons les schémas de preuve permettant de prouver la correction de tels agents.