Grammaire à substitution d'arbre de complexité polynomiale : un cadre efficace pour DOP.