diff --git a/src/plugins/pdg_types/Pdg_types.ml b/src/plugins/pdg/pdg_types/Pdg_types.ml
similarity index 100%
rename from src/plugins/pdg_types/Pdg_types.ml
rename to src/plugins/pdg/pdg_types/Pdg_types.ml
diff --git a/src/plugins/pdg_types/Pdg_types.mli b/src/plugins/pdg/pdg_types/Pdg_types.mli
similarity index 100%
rename from src/plugins/pdg_types/Pdg_types.mli
rename to src/plugins/pdg/pdg_types/Pdg_types.mli
diff --git a/src/plugins/pdg_types/dune b/src/plugins/pdg/pdg_types/dune
similarity index 91%
rename from src/plugins/pdg_types/dune
rename to src/plugins/pdg/pdg_types/dune
index 08fe2686573b5510541e38b07e132b7fb6f6a2a6..722fae390011c23904d8646cfcfbd7e30f6c06e4 100644
--- a/src/plugins/pdg_types/dune
+++ b/src/plugins/pdg/pdg_types/dune
@@ -24,7 +24,7 @@
  (alias frama-c-configure)
  (deps (universe))
  (action (progn
-          (echo "Pdg-Types:" %{lib-available:frama-c-pdg-types.core} "\n")
+          (echo "Pdg-Types:" %{lib-available:frama-c-pdg.types.core} "\n")
   )
   )
 )
@@ -32,9 +32,9 @@
 ( library
  (name Pdg_types)
   (optional)
-  (public_name frama-c-pdg-types.core)
+  (public_name frama-c-pdg.types.core)
   (flags -open Frama_c_kernel :standard -w -9)
   (libraries frama-c.kernel)
 )
 
-(plugin (optional) (name pdg-types) (libraries frama-c-pdg-types.core) (site (frama-c plugins)))
+(plugin (optional) (name pdg-types) (libraries frama-c-pdg.types.core) (site (frama-c plugins)))
diff --git a/src/plugins/pdg_types/frama-c-pdg-types.opam b/src/plugins/pdg/pdg_types/frama-c-pdg-types.opam
similarity index 100%
rename from src/plugins/pdg_types/frama-c-pdg-types.opam
rename to src/plugins/pdg/pdg_types/frama-c-pdg-types.opam
diff --git a/src/plugins/pdg_types/pdgIndex.ml b/src/plugins/pdg/pdg_types/pdgIndex.ml
similarity index 100%
rename from src/plugins/pdg_types/pdgIndex.ml
rename to src/plugins/pdg/pdg_types/pdgIndex.ml
diff --git a/src/plugins/pdg_types/pdgIndex.mli b/src/plugins/pdg/pdg_types/pdgIndex.mli
similarity index 100%
rename from src/plugins/pdg_types/pdgIndex.mli
rename to src/plugins/pdg/pdg_types/pdgIndex.mli
diff --git a/src/plugins/pdg_types/pdgMarks.ml b/src/plugins/pdg/pdg_types/pdgMarks.ml
similarity index 100%
rename from src/plugins/pdg_types/pdgMarks.ml
rename to src/plugins/pdg/pdg_types/pdgMarks.ml
diff --git a/src/plugins/pdg_types/pdgMarks.mli b/src/plugins/pdg/pdg_types/pdgMarks.mli
similarity index 100%
rename from src/plugins/pdg_types/pdgMarks.mli
rename to src/plugins/pdg/pdg_types/pdgMarks.mli
diff --git a/src/plugins/pdg_types/pdgTypes.ml b/src/plugins/pdg/pdg_types/pdgTypes.ml
similarity index 100%
rename from src/plugins/pdg_types/pdgTypes.ml
rename to src/plugins/pdg/pdg_types/pdgTypes.ml
diff --git a/src/plugins/pdg_types/pdgTypes.mli b/src/plugins/pdg/pdg_types/pdgTypes.mli
similarity index 100%
rename from src/plugins/pdg_types/pdgTypes.mli
rename to src/plugins/pdg/pdg_types/pdgTypes.mli
diff --git a/src/plugins/pdg_types/dune-project b/src/plugins/pdg_types/dune-project
deleted file mode 100644
index 9766557fe25a5629efb30aa9da3d1019b5ba6ad7..0000000000000000000000000000000000000000
--- a/src/plugins/pdg_types/dune-project
+++ /dev/null
@@ -1,25 +0,0 @@
-(lang dune 2.9)
-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-;;                                                                        ;;
-;;  This file is part of Frama-C.                                         ;;
-;;                                                                        ;;
-;;  Copyright (C) 2007-2022                                               ;;
-;;    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).            ;;
-;;                                                                        ;;
-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-
-(name frama-c-pdg_types)
-(using dune_site 0.1)
diff --git a/src/plugins/postdominators/dune b/src/plugins/postdominators/dune
index 00091cf16bf4dddc404c0be88d3522041602223d..7b84cb8f931afdbf83851d235a4bcfa6abbd3085 100644
--- a/src/plugins/postdominators/dune
+++ b/src/plugins/postdominators/dune
@@ -25,7 +25,7 @@
  (deps (universe))
  (action (progn
           (echo "Postdominators:" %{lib-available:frama-c-postdominators.core} "\n")
-          (echo "  - Pdg-Types:" %{lib-available:frama-c-pdg-types.core} "\n")
+          (echo "  - Pdg-Types:" %{lib-available:frama-c-pdg.types.core} "\n")
           (echo "  - Eva:" %{lib-available:frama-c-eva.core} "\n")
   )
   )
@@ -36,7 +36,7 @@
   (optional)
   (public_name frama-c-postdominators.core)
   (flags -open Frama_c_kernel :standard -w -9)
-  (libraries frama-c.kernel frama-c-pdg-types.core frama-c-eva.core)
+  (libraries frama-c.kernel frama-c-pdg.types.core frama-c-eva.core)
 )
 
 (plugin (optional) (name postdominators) (libraries frama-c-postdominators.core) (site (frama-c plugins)))