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)