diff --git a/HowtoVagrant.md b/HowtoVagrant.md
index 60a34fc2..385125de 100644
--- a/HowtoVagrant.md
+++ b/HowtoVagrant.md
@@ -1,18 +1,26 @@
-**Cette page a été importée automatiquement de notre ancien wiki mais n'a pas encore été révisée.**
+---
+title: Howto Vagrant
+---
 
-# HowtoVagrant
+* Documentation : <https://www.vagrantup.com/docs/>
 
-Vagrant est un logiciel qui permet de configurer des environnements de développement légers, portables et reproductibles.
+[Vagrant](https://www.vagrantup.com) est un logiciel qui permet de configurer des environnements de développement légers, portables et reproductibles.
 
-À travers son fichier de configuration nommé Vagrantfile, il permet d'orchestrer la mise en place d'environnement virtuel à base de VM ou de conteneur.
+À travers son fichier de configuration nommé **Vagrantfile**, il permet d'orchestrer la mise en place d'environnement virtuel à base de VM ou de conteneur.
 
 ## Installation
 
-Des paquets Debian officiels sont disponibles, mais l'équipe de Hashicorp maintient également un paquet plus récent (sans répository) : <https://www.vagrantup.com/downloads.html>
+Debian Stretch propose Vagrant 1.9.1, pour l'installer (ainsi que le plugin libvirt) :
+
+~~~
+apt install vagrant vagrant-libvirt
+~~~
+
+Des paquets Debian officiels (maintenu par Hashicorp) sont aussi disponibles dans des versions plus récentes mais sans répository : <https://www.vagrantup.com/downloads.html>
 
 ## Providers
 
-Vagrant permet de lancer et configurer des environnements basés sur VirtualBox, VMware, Docker, Amazon EC2 et plusieurs autres.
+Vagrant permet de lancer et configurer des environnements basés sur VirtualBox, Libvirt, VMware, Docker, Amazon EC2 et plusieurs autres.
 
 ## Commandes de base