diff --git a/_fc-plugins/slicing.md b/_fc-plugins/slicing.md
index f91787fd8ddbef09442e409a89272ae9c8da5b45..8ff7df6cc7b0a8f62c38fe03c8ad45ca4987fc58 100644
--- a/_fc-plugins/slicing.md
+++ b/_fc-plugins/slicing.md
@@ -3,6 +3,13 @@ layout: plugin
 title: Slicing
 description: Slices the code according to user-provided criteria.
 key: code
+additional:
+  - name:  "Documentation"
+    link:  /download/frama-c-slicing-documentation-french.pdf
+    lang:  FR
+  - name:  "PDG Documentation"
+    link:  /download/frama-c-pdg-documentation-french.pdf
+    lang:  FR
 distrib_mode: main
 ---
 
@@ -93,3 +100,13 @@ following options:
 
 This plug-in uses the results of the [Eva](eva.html) plug-in and of the
 function dependencies computation (documented with Eva).
+
+## Further Reading
+
+- The **Slicing** plug-in has some
+  [documentation (in French only)](/download/frama-c-slicing-documentation-french.pdf)
+  based on a technical report, but no user manual _per se_.
+- The **Slicing** plug-in is based on another plug-in, **PDG**
+  (for *Program Dependence Graph). It also has some
+  [documentation (in French only)](/download/frama-c-pdg-documentation-french.pdf)
+  based on a technical report.
diff --git a/assets/img/icons/france-flag-waving-icon-16.png b/assets/img/icons/france-flag-waving-icon-16.png
new file mode 100644
index 0000000000000000000000000000000000000000..511ceb669031436936e3473420aee8f9144102ce
Binary files /dev/null and b/assets/img/icons/france-flag-waving-icon-16.png differ
diff --git a/download/frama-c-pdg-documentation-french.pdf b/download/frama-c-pdg-documentation-french.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..5b012ca16afcc4bc5462bc4cf601e02adff0398d
--- /dev/null
+++ b/download/frama-c-pdg-documentation-french.pdf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:30dc21eac8392293956bc130d203aea469c609a3297620e88dc00a4120c45c91
+size 889397
diff --git a/download/frama-c-slicing-documentation-french.pdf b/download/frama-c-slicing-documentation-french.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..926fd9e4501df473f624f18a4546a4edd75c19ff
--- /dev/null
+++ b/download/frama-c-slicing-documentation-french.pdf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:2937e268f28107cbad68cfac5c26af2e2875ef4e82e81743eb26a6ba1fef5543
+size 1010890
diff --git a/html/documentation.html b/html/documentation.html
index a2ef3b2e2745a07d37966e9dc1f9179a87115bf5..064e5c9c590189787c76fca7779b6ba46e35352a 100755
--- a/html/documentation.html
+++ b/html/documentation.html
@@ -79,7 +79,10 @@ title: Documentation - Frama-C
                 <li><a href="{{plugin.manual_pdf}}">User manual</a></li>
                 {% endif %}
                 {% for add in plugin.additional %}
-                <li><a href="{{add.link}}">{% if add.short %}{{add.short}}{% else %}{{add.name}}{% endif %}</a></li>
+                <li><a href="{{add.link}}">
+                  {% if add.lang == "FR" %}<img src="/assets/img/icons/france-flag-waving-icon-16.png" alt="In French">{% endif %}
+                  {% if add.short %}{{add.short}}{% else %}{{add.name}}{% endif %}
+                </a></li>
                 {% endfor %}
                 {% if plugin.repo_url %}
                 <li><a href="{{plugin.repo_url}}">External repository</a></li>