diff --git a/headers/open-source/CEA_PROPRIETARY b/headers/open-source/CEA_PROPRIETARY
deleted file mode 100644
index 91dd4644e1f33c8ede67702c122e823bccc4c5df..0000000000000000000000000000000000000000
--- a/headers/open-source/CEA_PROPRIETARY
+++ /dev/null
@@ -1,10 +0,0 @@
-
-This file is part of Frama-C.
-
-Copyright (C) 2007-2022
-  CEA (Commissariat à l'énergie atomique et aux énergies
-       alternatives)
-
-All rights reserved.
-Contact CEA LIST for licensing.
-