let rec _Remplir_Hash_Expr nomModule sonExpr =
match sonExpr with
Binaire (exprL, _, exprR) ->
let gauche = (_Remplir_Hash_Expr nomModule exprL) in
let droite = (_Remplir_Hash_Expr nomModule exprR) in
gauche@droite
| Varia (id, sonT) -> [Autre(nomModule, id, sonT)]
| Construct(_) -> raise Cas_impossible
| Unaire (_, exprR) ->
let droite = (_Remplir_Hash_Expr nomModule exprR) in
droite
| Case([]) -> []
| Case ((condition, exprR)::liste_case) ->
let reste = (_Remplir_Hash_Expr nomModule (Case(liste_case))) in
let gauche = (_Remplir_Hash_Expr nomModule condition) in
let droite = (_Remplir_Hash_Expr nomModule exprR) in
gauche@droite@reste
| Num (_) -> []
| Chaine(_) -> []
| NotDet(_) -> []
| Ensemble(_) -> raise Cas_impossible