diff --git a/ivette/src/frama-c/index.tsx b/ivette/src/frama-c/index.tsx
index 2efb1200a091375e42a788cdf61d8427b1f71219..c134dfaf7dcd12e5d833711f59198a0f66a5326e 100644
--- a/ivette/src/frama-c/index.tsx
+++ b/ivette/src/frama-c/index.tsx
@@ -37,6 +37,10 @@ import Properties from 'frama-c/kernel/Properties';
 
 import 'frama-c/kernel/style.css';
 
+import * as Menu from 'frama-c/menu';
+
+Menu.init();
+
 /* --------------------------------------------------------------------------*/
 /* --- Frama-C Kernel Groups                                              ---*/
 /* --------------------------------------------------------------------------*/
diff --git a/ivette/src/frama-c/menu.ts b/ivette/src/frama-c/menu.ts
new file mode 100644
index 0000000000000000000000000000000000000000..21d47914ff2779752f1d937bd88105516e4fb0a3
--- /dev/null
+++ b/ivette/src/frama-c/menu.ts
@@ -0,0 +1,49 @@
+/* ************************************************************************ */
+/*                                                                          */
+/*   This file is part of Frama-C.                                          */
+/*                                                                          */
+/*   Copyright (C) 2007-2021                                                */
+/*     CEA (Commissariat à l'énergie atomique et aux énergies               */
+/*          alternatives)                                                   */
+/*                                                                          */
+/*   you can redistribute it and/or modify it under the terms of the GNU    */
+/*   Lesser General Public License as published by the Free Software        */
+/*   Foundation, version 2.1.                                               */
+/*                                                                          */
+/*   It is distributed in the hope that it will be useful,                  */
+/*   but WITHOUT ANY WARRANTY; without even the implied warranty of         */
+/*   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the          */
+/*   GNU Lesser General Public License for more details.                    */
+/*                                                                          */
+/*   See the GNU Lesser General Public License version 2.1                  */
+/*   for more details (enclosed in the file licenses/LGPLv2.1).             */
+/*                                                                          */
+/* ************************************************************************ */
+
+/* --------------------------------------------------------------------------*/
+/* --- Frama-C MENU                                                       ---*/
+/* --------------------------------------------------------------------------*/
+
+import * as Dome from 'dome';
+import * as Dialogs from 'dome/dialogs';
+import * as Server from 'frama-c/server';
+import * as Ast from 'frama-c/api/kernel/ast';
+
+async function setFiles(): Promise<void> {
+  const files = await Dialogs.showOpenFiles({ message: 'Open files' });
+  await Server.send(Ast.setFiles, files);
+  await Server.send(Ast.compute, { });
+  return;
+}
+
+export function init() {
+  Dome.addMenuItem({
+    menu: 'File',
+    label: 'Set files',
+    id: 'file_add',
+    onClick: setFiles,
+    type: 'normal',
+  });
+}
+
+/* --------------------------------------------------------------------------*/
diff --git a/src/plugins/server/kernel_ast.ml b/src/plugins/server/kernel_ast.ml
index 463499a6e5af2ab46a9cc9f20b3a192e16d49c6b..5f98ce741468bce978c4196c2685ba0bb9d812af 100644
--- a/src/plugins/server/kernel_ast.ml
+++ b/src/plugins/server/kernel_ast.ml
@@ -37,6 +37,10 @@ let () = Request.register ~package
     ~descr:(Md.plain "Ensures that AST is computed")
     ~input:(module Junit) ~output:(module Junit) Ast.compute
 
+let ast_update_hook f =
+  Ast.add_hook_on_update f;
+  Ast.apply_after_computed (fun _ -> f ())
+
 (* -------------------------------------------------------------------------- *)
 (* ---  Printers                                                          --- *)
 (* -------------------------------------------------------------------------- *)
@@ -459,7 +463,7 @@ struct
         ~name:"functions"
         ~descr:(Md.plain "AST Functions")
         ~iter
-        ~add_reload_hook:Ast.add_hook_on_update ;
+        ~add_reload_hook:ast_update_hook
     end
 
 end