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