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