rename the Stable exception into Silent, to stick to usual vacabulary in the domain

bin/sasa.ml

-(* Time-stamp: <modified the 07/03/2019 (at 14:02) by Erwan> *)
+(* Time-stamp: <modified the 07/03/2019 (at 15:27) by Erwan> *)
 
 (* XXX Je pourrais utiliser Lwt pour rendre step non-bloquant, ce qui
    permettrait d'accelerer la simu sur les machines qui ont plusieurs
@@ -72,7 +72,7 @@ let (to_algo_neighbor: Env.t -> Topology.neighbor -> Algo.neighbor) =
       n_vars = n.Topology.n_vars
     }
 
-exception Stable
+exception Silent
   
 let rec (simu: int -> int -> Process.t list ->
          (Process.t * Topology.neighbor list) list -> Env.t -> unit) =
@@ -106,7 +106,7 @@ let rec (simu: int -> int -> Process.t list ->
     Printf.eprintf "step %s: %s (%s)\n" (string_of_int (n-i)) (StringOf.env e pl) al_str;
     match all with
     (*     | [_] -> () *)
-    | [] -> raise Stable
+    | [] -> raise Silent
     | _ ->  if i > 0 then simu n (i-1) pl pl_n ne else ()
 
 let () =