method display_localizable localizable () =
    begin
      match localizable with
      | PVDecl (Some kf,_) -> (* Process only the function selected *)
          begin
            (* Get the global of this function *)
            fct_to_check <- (get_global kf);
            self#do_cyclo main_ui;
          end
      | _  -> ()
    end