diff --git a/site/index.fr.md b/site/index.fr.md
index 6b652f7..5448e54 100644
--- a/site/index.fr.md
+++ b/site/index.fr.md
@@ -5,7 +5,7 @@ x-toc-enable: true
 
 Libreboot est un micrologiciel de démarrage [libéré](https://en.wikipedia.org/wiki/Open_source)
 qui initialise le matériel (càd le contrôleur mémoire, CPU,
-périphériques) sur [des ordinateurs Intel/AMD x86 spécifiques](docs/hardware/)
+périphériques) sur [des ordinateurs x86/ARM spécifiques](docs/hardware/)
 et lance un chargeur d'amorçage pour votre système d'exploitation. [GNU+Linux](docs/gnulinux/) et [BSD](docs/bsd/) sont bien supportés. C'est un
 remplacement pour le micrologiciel UEFI/BIOS propriétaire.
 Des canaux d'aide sont disponibles