diff --git a/ivette/src/sandbox/icons/file.png b/ivette/src/sandbox/icons/file.png
deleted file mode 100644
index 280d186f5685b01f90b9f88e076700de9a66ba80..0000000000000000000000000000000000000000
Binary files a/ivette/src/sandbox/icons/file.png and /dev/null differ
diff --git a/ivette/src/sandbox/icons/folder.png b/ivette/src/sandbox/icons/folder.png
deleted file mode 100644
index e765d59083f8e0621c21e72284086ce8cdec6637..0000000000000000000000000000000000000000
Binary files a/ivette/src/sandbox/icons/folder.png and /dev/null differ
diff --git a/ivette/src/sandbox/icons/function.png b/ivette/src/sandbox/icons/function.png
deleted file mode 100644
index f8941398bd98bfabc073c639831e7ea42c30286a..0000000000000000000000000000000000000000
Binary files a/ivette/src/sandbox/icons/function.png and /dev/null differ
diff --git a/ivette/src/sandbox/sidebar.tsx b/ivette/src/sandbox/sidebar.tsx
deleted file mode 100644
index a78343eea5918364b624dd7f69f5452075080320..0000000000000000000000000000000000000000
--- a/ivette/src/sandbox/sidebar.tsx
+++ /dev/null
@@ -1,124 +0,0 @@
-/* ************************************************************************ */
-/* */
-/* This file is part of Frama-C. */
-/* */
-/* Copyright (C) 2007-2023 */
-/* 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). */
-/* */
-/* ************************************************************************ */
-
-
-import React from 'react';
-import { DEVEL } from 'dome';
-import { Item, Section } from "dome/frame/sidebars";
-import * as Ivette from 'ivette';
-import file from './icons/file.png';
-import folder from './icons/folder.png';
-
-/* -------------------------------------------------------------------------- */
-/* --- Mocking --- */
-/* -------------------------------------------------------------------------- */
-
-if (DEVEL) {
-
- Ivette.registerSidebar({
- id: 'sandbox.sidebar.a',
- label: 'SanA',
- title: 'Sandbox Title A',
- iconPath: folder,
- children:
- <>
- <Section label='Section A.1'>
- <Item label='Item A.1.1' />
- <Item label='Item A.1.2' />
- <Item label='Item A.1.3' />
- <Item label='Item A.1.4' />
- </Section>
- <Section label='Section A.2'>
- <Item label='Item A.2.1' />
- <Item label='Item A.2.2' />
- <Item label='Item A.2.3' />
- <Item label='Item A.2.4' />
- </Section>
- </>
- });
-
- Ivette.registerSidebar({
- id: 'sandbox.sidebar.b',
- label: 'SanB',
- title: 'Sandbox Title B',
- children:
- <>
- <Section label='Section B.1'>
- <Item label='Item B.1.1' />
- <Item label='Item B.1.2' />
- <Item label='Item B.1.3' />
- <Item label='Item B.1.4' />
- </Section>
- <Section label='Section B.2'>
- <Item label='Item B.2.1' />
- <Item label='Item B.2.2' />
- <Item label='Item B.2.3' />
- <Item label='Item B.2.4' />
- </Section>
- </>
- });
-
- Ivette.registerSidebar({
- id: 'sandbox.sidebar.c',
- label: 'SanC',
- title: 'Sandbox Title C',
- children:
- <>
- <Section label='Section C.1'>
- <Item label='Item C.1.1' />
- <Item label='Item C.1.2' />
- <Item label='Item C.1.3' />
- <Item label='Item C.1.4' />
- </Section>
- <Section label='Section C.2'>
- <Item label='Item C.2.1' />
- <Item label='Item C.2.2' />
- <Item label='Item C.2.3' />
- <Item label='Item C.2.4' />
- </Section>
- </>
- });
-
- Ivette.registerSidebar({
- id: 'sandbox.sidebar.d',
- label: 'SanD',
- iconPath: file,
- title: 'Sandbox Title D',
- children:
- <>
- <Section label='Section D.1'>
- <Item label='Item D.1.1' />
- <Item label='Item D.1.2' />
- <Item label='Item D.1.3' />
- <Item label='Item D.1.4' />
- </Section>
- <Section label='Section D.2'>
- <Item label='Item D.2.1' />
- <Item label='Item D.2.2' />
- <Item label='Item D.2.3' />
- <Item label='Item D.2.4' />
- </Section>
- </>
- });
-
-}
-/* -------------------------------------------------------------------------- */