Réponse:
let
rec
lemot1 =
function
| G1_gEd e ->
"g"
^ (lemot1 e) ^
"d"
| G1_EE (e, e') -> (lemot1 e) ^ (lemot1 e')
| G1_0 ->
""
let
mot1 (G1_S e) = lemot1 e;;