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