let rec _Instanciation_Variable liste_assign _CONST =
match liste_assign with
[] -> ""
| cet_assign::liste_restante ->
match cet_assign with
(Init(id,_), NotDet(sonExpr)) ->
(_Traitement_expr (NotDet(sonExpr)) id "init" _CONST)
^(_Instanciation_Variable liste_restante (_CONST + 1))
| (Init(id,_), Case(sonExpr)) ->
(_Traitement_expr (Case(sonExpr)) id "init" 0)
^(_Instanciation_Variable liste_restante _CONST)
| (Init(id,_), sonExpr) ->
"\t\tthis."^id^" = "
^(_Traitement_expr sonExpr id "init" 0)^";\n"
^(_Instanciation_Variable liste_restante _CONST)
| _ -> ""^(_Instanciation_Variable liste_restante _CONST)