diff --git a/headers/close-source/JCF_LGPL b/headers/close-source/JCF_LGPL
new file mode 100644
index 0000000000000000000000000000000000000000..040d941d8e378f0ad4cbfa0150f65e61eefe5435
--- /dev/null
+++ b/headers/close-source/JCF_LGPL
@@ -0,0 +1,12 @@
+
+Copyright (C) Jean-Christophe Filliatre
+
+This software is free software; you can redistribute it and/or
+modify it under the terms of the GNU Library General Public
+License version 2.1, with the special exception on linking
+described in file LICENSE.
+
+This software 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.
+
diff --git a/headers/open-source/JCF_LGPL b/headers/open-source/JCF_LGPL
new file mode 100644
index 0000000000000000000000000000000000000000..169d635765b4441a4a98ee28a3c4c7b8e9e39c7e
--- /dev/null
+++ b/headers/open-source/JCF_LGPL
@@ -0,0 +1,15 @@
+
+Copyright (C) Jean-Christophe Filliatre
+
+This software is free software; you can redistribute it and/or
+modify it under the terms of the GNU Library General Public
+License version 2.1, with the special exception on linking
+described in file LICENSE.
+
+This software 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.
+
+File modified by CEA (Commissariat à l'énergie atomique et aux
+                      énergies alternatives).
+