diff --git a/ivette/Makefile.distrib b/ivette/Makefile.distrib
index 48889dd663ab21c6378160c765143c345856eab6..0f933db596ee0febd3157aa739797a507e871fee 100644
--- a/ivette/Makefile.distrib
+++ b/ivette/Makefile.distrib
@@ -18,6 +18,7 @@ DISTRIB_FILES += ivette/electron-builder.json
 DISTRIB_FILES += ivette/electron-webpack.json
 DISTRIB_FILES += ivette/ivette-macos.sh
 DISTRIB_FILES += ivette/package.json
+DISTRIB_FILES += ivette/sandboxer.js
 DISTRIB_FILES += ivette/src/dome/.gitignore
 DISTRIB_FILES += ivette/src/dome/CONTRIBUTING.md
 DISTRIB_FILES += ivette/src/dome/CONTRIBUTORS.md
@@ -195,7 +196,6 @@ DISTRIB_FILES += ivette/src/frama-c/server.ts
 DISTRIB_FILES += ivette/src/frama-c/states.ts
 DISTRIB_FILES += ivette/src/ivette/index.tsx
 DISTRIB_FILES += ivette/src/ivette/prefs.tsx
-DISTRIB_FILES += ivette/src/ivette/sandbox.tsx
 DISTRIB_FILES += ivette/src/main/index.js
 DISTRIB_FILES += ivette/src/renderer/Application.tsx
 DISTRIB_FILES += ivette/src/renderer/Controller.tsx
@@ -204,6 +204,8 @@ DISTRIB_FILES += ivette/src/renderer/Laboratory.tsx
 DISTRIB_FILES += ivette/src/renderer/Preferences.tsx
 DISTRIB_FILES += ivette/src/renderer/index.js
 DISTRIB_FILES += ivette/src/renderer/style.css
+DISTRIB_FILES += ivette/src/sandbox/README.md
+DISTRIB_FILES += ivette/src/sandbox/qsplit.tsx
 DISTRIB_FILES += ivette/tests/eva-1.i
 DISTRIB_FILES += ivette/tests/eva-2.i
 DISTRIB_FILES += ivette/tsconfig.json
diff --git a/ivette/distrib.sh b/ivette/distrib.sh
index cb04515a5d49ff8171f697c142803af338512e42..38012edac621ff293d5ea0b1f3964f68d9adc5a4 100755
--- a/ivette/distrib.sh
+++ b/ivette/distrib.sh
@@ -26,7 +26,7 @@ Distribute() {
             *)
                 echo "DISTRIB_FILES += $src/$f" >> $Distrib
                 case $f in
-                    *.sh | *.json | */dome/doc/* | configure.js | .* | webpack*.js )
+                    *.sh | *.json | */dome/doc/* | configure.js | sandboxer.js | .* | webpack*.js )
                         echo "$f: .ignore" >> $Headers
                         ;;
                     *Make* | *.js* | *.ts* | *.ml*)
diff --git a/ivette/headers/header_spec.txt b/ivette/headers/header_spec.txt
index ece2190612e9d15f7d100ac34108b03ce3ac966f..361c89dfb300142bb207d7bdcf5f4010d130f83b 100644
--- a/ivette/headers/header_spec.txt
+++ b/ivette/headers/header_spec.txt
@@ -17,6 +17,7 @@ electron-builder.json: .ignore
 electron-webpack.json: .ignore
 ivette-macos.sh: .ignore
 package.json: .ignore
+sandboxer.js: .ignore
 src/dome/.gitignore: .ignore
 src/dome/CONTRIBUTING.md: .ignore
 src/dome/CONTRIBUTORS.md: .ignore
@@ -194,7 +195,6 @@ src/frama-c/server.ts: CEA_LGPL
 src/frama-c/states.ts: CEA_LGPL
 src/ivette/index.tsx: CEA_LGPL
 src/ivette/prefs.tsx: CEA_LGPL
-src/ivette/sandbox.tsx: CEA_LGPL
 src/main/index.js: CEA_LGPL
 src/renderer/Application.tsx: CEA_LGPL
 src/renderer/Controller.tsx: CEA_LGPL
@@ -203,6 +203,8 @@ src/renderer/Laboratory.tsx: CEA_LGPL
 src/renderer/Preferences.tsx: CEA_LGPL
 src/renderer/index.js: CEA_LGPL
 src/renderer/style.css: .ignore
+src/sandbox/README.md: .ignore
+src/sandbox/qsplit.tsx: CEA_LGPL
 tests/eva-1.i: .ignore
 tests/eva-2.i: .ignore
 tsconfig.json: .ignore
diff --git a/ivette/src/dome/renderer/layout/qsplit.tsx b/ivette/src/dome/renderer/layout/qsplit.tsx
index e1851b2a94fe457b3b9872803b7ca8cf3ecf5d44..5a21b802c46968a89371e53156778fc8065b4410 100644
--- a/ivette/src/dome/renderer/layout/qsplit.tsx
+++ b/ivette/src/dome/renderer/layout/qsplit.tsx
@@ -2,7 +2,7 @@
 /*                                                                          */
 /*   This file is part of Frama-C.                                          */
 /*                                                                          */
-/*   Copyright (C) 2007-2021                                                */
+/*   Copyright (C) 2007-2022                                                */
 /*     CEA (Commissariat à l'énergie atomique et aux énergies               */
 /*          alternatives)                                                   */
 /*                                                                          */