RA(c)sumA(c) La logique TQL (Tree Query Language) proposA(c)e par Cardelli et Ghelli est un langage logique, de type dA(c)claratif, permettant d''exprimer des propriA(c)tA(c)s sur les documents semi-structurA(c)s. En utilisant la logique TQL nous pouvons caractA(c)riser certains langages d''arbres comme par exemple les langages d''arbres rA(c)guliers A aritA(c)s non bornA(c)es. Dans ce travail, notre objectif est d''enrichir cette logique afin de pouvoir exprimer des propriA(c)tA(c)s des langages d''arbres hors-contexte, des langages d''arbres synchronisA(c)s rA(c)guliers et des langages...