diff --git a/HowtoIPMI.md b/HowtoIPMI.md
index 17c6b19d..45783be3 100644
--- a/HowtoIPMI.md
+++ b/HowtoIPMI.md
@@ -5,7 +5,7 @@
 
 ## TL;DR
 
-Diagnostique matériel :
+Diagnostic matériel :
 
 ~~~
 $ apt install openipmi ipmitool