changement des structures de G et Cl_g et Cl_d : liste de indice * liste de sous-formules / nombre d'occurrences