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;;