let rec écrits_par_stm = function
   
  | Move_temp (t, _) -> [ t ]
   
  | Move_mem (_, _) | Exp _ | Label _ -> []
   
  | Seq _ | Cjump (_,_,_,_,_) | Jump _ -> 
   
      assert false (* instruction canonique *);;