Rename debian entity to debian-gnu.

1 files changed, 3 insertions, 3 deletions

diff --git a/fr/hardware/hardware-supported.xml b/fr/hardware/hardware-supported.xml
index 598cd40dc..eeb34c47c 100644
--- a/fr/hardware/hardware-supported.xml
+++ b/fr/hardware/hardware-supported.xml
@@ -10,7 +10,7 @@ laquelle le noyau Linux, la libc, le compilateur gcc, etc. ont été
 portés, et pour laquelle un portage de Debian existe, peuvent faire fonctionner
 Debian. Reportez-vous aux pages sur les portages 
 <ulink url="&url-ports;"></ulink> pour plus de précisions concernant les
-systèmes d'architecture &arch-title; qui ont été testés avec &debian;.
+systèmes d'architecture &arch-title; qui ont été testés avec &debian-gnu;.
 </para>
 
 <para>
@@ -198,7 +198,7 @@ si vous préférez le mode 32-bit, avec l'architecture <emphasis>i386</emphasis>
 </para></caution>
 
 <para condition="new-arch">
-Voici la première version officielle de &debian; pour l'architecture 
+Voici la première version officielle de &debian-gnu; pour l'architecture 
 &arch-title;. Nous pensons que le portage a fait ses preuves et qu'il peut 
 être rendu public. Cependant, comme il n'a pas encore été soumis à la 
 <quote>vraie vie</quote> (ni testé par d'autres utilisateurs) comme l'ont été 
@@ -395,7 +395,7 @@ paquet dans la section <emphasis>non-free</emphasis> de l'archive.
 <para>
 
 Cependant cela ne signifie pas que ce type de matériel ne puisse pas être utilisé
-pendant l'installation. À partir de &debian; 5.0, l'installateur sait charger des
+pendant l'installation. À partir de &debian-gnu; 5.0, l'installateur sait charger des
 microprogrammes sous forme de simple fichier ou sous forme de paquet sur des supports
 amovibles comme une disquette ou une clé USB.
 Consultez <xref linkend="loading-firmware"/> pour des précisions sur la manière de télécharger