plus de spécification
Encapsulation G,D,Cl_g,Cl_d
changement des structures de G et Cl_g et Cl_d : liste de indice * liste de sous-formules / nombre d'occurrences
Merge branch 'g_1couple_par_ind'

Conflicts:
	caml/aux/seq.ml