let rec _Traitement_NotDet arguments variable nomVect =
  let debut = "\t\tNonDet nd"^nomVect^" = new NonDet("^nomVect^", this.$nom);\n"
  in
  match arguments with
    [] -> debut
      ^"\t\tthis."^variable^" = ("
      ^nomVect^".get(nd"^nomVect^".getResponse()).toString());\n"
  | ([ Num 0; Num 1 ] | [ Num 1; Num 0 ])  -> 
      "\t\t"
      ^nomVect^".add(\"0\");\n\t\t"
      ^nomVect^".add(\"1\");\n"
      ^debut^"\t\tthis."
      ^variable^" = (("
      ^nomVect^".get( nd"^nomVect^".getResponse()).toString()).compareTo(\"1\") == 0);\n" 
  | cet_argument::liste_restante -> 
      match cet_argument with
        Num x ->
          "\t\t"
          ^nomVect^".add(\""
          ^((Nativeint.to_string (Nativeint.of_int x)))
          ^"\");\n"
          ^_Traitement_NotDet liste_restante variable nomVect
      | Chaine s ->
          "\t\t"
          ^nomVect^".add(\""^s^"\");\n"
          ^_Traitement_NotDet liste_restante variable nomVect
      | _ -> raise Cas_non_traite