diff --git a/admindoc_fr.md b/admindoc_fr.md
index bfa44edc..a599e1a9 100644
--- a/admindoc_fr.md
+++ b/admindoc_fr.md
@@ -9,6 +9,7 @@
     * [Sur Debian](/install_on_debian_fr)
     * [Sur VirtualBox](/install_on_virtualbox_fr)
     * [Sur Docker](/docker_fr)
+    * [Sur Vagrant](/vagrant_fr)
     * [Sur un conteneur DigitalOcean](/install_on_digitalocean_fr)
     * [Sur un serveur dédié](/install_on_dedicated_server_fr)
     * Étapes d’installation