diff --git a/src/libc/include/eacsl.h b/src/libc/include/eacsl.h
index d51ecde73..776d27ee0 100644
--- a/src/libc/include/eacsl.h
+++ b/src/libc/include/eacsl.h
@@ -1,22 +1,10 @@
-/******************************************************************************/
-/*                                                                            */
-/*  SPDX-License-Identifier: LGPL-2.1-or-later                                */
-/*                                                                            */
-/*  Copyright (C) 2012-2024                                                   */
-/*    CEA (Commissariat à l'énergie atomique et aux énergies                  */
-/*         alternatives)                                                      */
-/*                                                                            */
-/*  This file is originally from the Frama-C's E-ACSL plug-in available       */
-/*    at https://git.frama-c.com/pub/frama-c/-/tree/master/src/plugins/e-acsl */
-/*                                                                            */
-/*                                                                            */
-/*  SPDX-License-Identifier: AGPL-3.0-or-later                                */
-/*                                                                            */
-/*  Copyright © 2021-2024 OCamlPro                                            */
-/*                                                                            */
-/*  Modified by the Owi programmers                                           */
-/*                                                                            */
-/******************************************************************************/
+// SPDX-License-Identifier: LGPL-2.1-or-later
+// Copyright (C) 2012-2024 CEA (Commissariat à l'énergie atomique et aux énergies alternatives
+// This file is originally from the Frama-C's E-ACSL plug-in available at https://git.frama-c.com/pub/frama-c/-/tree/master/src/plugins/e-acsl
+
+// SPDX-License-Identifier: AGPL-3.0-or-later
+// Copyright © 2021-2024 OCamlPro
+// Modified by the Owi programmers
 
 #ifndef _EACSL_H_
 #define _EACSL_H_
diff --git a/src/libc/src/eacsl.c b/src/libc/src/eacsl.c
index 23137ad2f..ca64a29ce 100644
--- a/src/libc/src/eacsl.c
+++ b/src/libc/src/eacsl.c
@@ -1,22 +1,10 @@
-/******************************************************************************/
-/*                                                                            */
-/*  SPDX-License-Identifier: LGPL-2.1-or-later                                */
-/*                                                                            */
-/*  Copyright (C) 2012-2024                                                   */
-/*    CEA (Commissariat à l'énergie atomique et aux énergies                  */
-/*         alternatives)                                                      */
-/*                                                                            */
-/*  This file is originally from the Frama-C's E-ACSL plug-in available       */
-/*    at https://git.frama-c.com/pub/frama-c/-/tree/master/src/plugins/e-acsl */
-/*                                                                            */
-/*                                                                            */
-/*  SPDX-License-Identifier: AGPL-3.0-or-later                                */
-/*                                                                            */
-/*  Copyright © 2021-2024 OCamlPro                                            */
-/*                                                                            */
-/*  Modified by the Owi programmers                                           */
-/*                                                                            */
-/******************************************************************************/
+// SPDX-License-Identifier: LGPL-2.1-or-later
+// Copyright (C) 2012-2024 CEA (Commissariat à l'énergie atomique et aux énergies alternatives
+// This file is originally from the Frama-C's E-ACSL plug-in available at https://git.frama-c.com/pub/frama-c/-/tree/master/src/plugins/e-acsl
+
+// SPDX-License-Identifier: AGPL-3.0-or-later
+// Copyright © 2021-2024 OCamlPro
+// Modified by the Owi programmers
 
 #include <eacsl.h>
 #include <stddef.h>