Réponse:
type
g2 = G2_S
of
e2
and
e2 =
| G2_gEdE
of
e2 * e2
| G2_0;;