diff --git a/headers/header_spec.txt b/headers/header_spec.txt
index 08eb5d8ee17919e849c7b5888e070d46e69029a5..2d3abcb762ac7e9a419a2be8c515b764ab150861 100644
--- a/headers/header_spec.txt
+++ b/headers/header_spec.txt
@@ -586,6 +586,8 @@ src/kernel_services/visitors/cabsvisit.ml: CIL
 src/kernel_services/visitors/cabsvisit.mli: CIL
 src/kernel_services/visitors/visitor.ml: CEA_LGPL
 src/kernel_services/visitors/visitor.mli: CEA_LGPL
+src/kernel_services/visitors/visitor_behavior.ml: CEA_INRIA_LGPL
+src/kernel_services/visitors/visitor_behavior.mli: CEA_INRIA_LGPL
 src/libraries/README.md: .ignore
 src/libraries/datatype/README.md: .ignore
 src/libraries/datatype/datatype.ml: CEA_LGPL
diff --git a/src/kernel_services/visitors/visitor_behavior.ml b/src/kernel_services/visitors/visitor_behavior.ml
index 55c8555c4f546c61b03ae8ae9c6886e30160732c..50587caf5b235b75e2e6a3f624ade98b8fec2aed 100644
--- a/src/kernel_services/visitors/visitor_behavior.ml
+++ b/src/kernel_services/visitors/visitor_behavior.ml
@@ -1,3 +1,27 @@
+(**************************************************************************)
+(*                                                                        *)
+(*  This file is part of Frama-C.                                         *)
+(*                                                                        *)
+(*  Copyright (C) 2007-2019                                               *)
+(*    CEA   (Commissariat à l'énergie atomique et aux énergies            *)
+(*           alternatives)                                                *)
+(*    INRIA (Institut National de Recherche en Informatique et en         *)
+(*           Automatique)                                                 *)
+(*                                                                        *)
+(*  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).            *)
+(*                                                                        *)
+(**************************************************************************)
+
 open Cil_types
 
 type t =
diff --git a/src/kernel_services/visitors/visitor_behavior.mli b/src/kernel_services/visitors/visitor_behavior.mli
index 633ca6da9e2c6c4ae4fd1d1eb904deb8b3ccca7c..a59a2658017fdde6e5a619ae069a15bc1654f550 100644
--- a/src/kernel_services/visitors/visitor_behavior.mli
+++ b/src/kernel_services/visitors/visitor_behavior.mli
@@ -1,3 +1,27 @@
+(**************************************************************************)
+(*                                                                        *)
+(*  This file is part of Frama-C.                                         *)
+(*                                                                        *)
+(*  Copyright (C) 2007-2019                                               *)
+(*    CEA   (Commissariat à l'énergie atomique et aux énergies            *)
+(*           alternatives)                                                *)
+(*    INRIA (Institut National de Recherche en Informatique et en         *)
+(*           Automatique)                                                 *)
+(*                                                                        *)
+(*  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).            *)
+(*                                                                        *)
+(**************************************************************************)
+
 open Cil_types
 
 type t