R sum La logique TQL (Tree Query Language) propos e par Cardelli et Ghelli est un langage logique, de type d claratif, permettant d'exprimer des propri t s sur les documents semi-structur s. En utilisant la logique TQL nous pouvons caract riser certains langages d'arbres comme par exemple les langages d'arbres r guliers arit s non born es. Dans ce travail, notre objectif est d'enrichir cette logique afin de pouvoir exprimer des propri t s des langages d'arbres hors-contexte, des langages d'arbres synchronis s r guliers et des langages d'arbres synchronis s hors-contexte.