From 2d535c390c3733029c65bdff60fd73939e63369b Mon Sep 17 00:00:00 2001
From: jcougnoux <jcougnoux+gitit@evolix.fr>
Date: Fri, 21 Sep 2018 10:52:12 +0200
Subject: [PATCH] =?UTF-8?q?Modification=20d'une=20r=C3=A9p=C3=A9tition.?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 HowtoDebian/Packages.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/HowtoDebian/Packages.md b/HowtoDebian/Packages.md
index 5d50b54e..62085800 100644
--- a/HowtoDebian/Packages.md
+++ b/HowtoDebian/Packages.md
@@ -7,7 +7,7 @@ title: Howto Debian packages
 * apt-get(1) : <https://manpages.debian.org/stable/apt/apt-get.8.en.html>
 * apt-cache(1) : <https://manpages.debian.org/stable/apt/apt-cache.8.en.html>
 
-Debian possède le meilleur format de packages : le `.deb` qui se manipule avec l'outil `dpkg`.
+Debian est pourvu du meilleur format de packages : le `.deb` qui se manipule avec l'outil `dpkg`.
 Debian possède le programme de gestion de packages le plus avancé du monde : APT (Advanced Packaging Tool).
 
 ## Format .deb