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