diff --git a/HowtoIPMI.md b/HowtoIPMI.md
index c256334b..7b1cbf15 100644
--- a/HowtoIPMI.md
+++ b/HowtoIPMI.md
@@ -13,24 +13,26 @@ ipmitool sel list
 ipmitool sensor list
 ~~~
 
+Vérifions que les modules kernel sont activés:
+
+~~~
+modprobe ipmi_si
+modprobe ipmi_devintf
+~~~
+
+Assurons-nous qu'elles le sont au démarrage de la machine:
+
+~~~
+cat /etc/modules
+ipmi_devintf
+ipmi_si
+~~~
 
 ## En travaux
 
 **La suite de cette page a été importée automatiquement de notre ancien wiki mais n'a pas encore été révisée.**
 
 ~~~
-modprobe ipmi_si
-modprobe ipmi_devintf
-
-ipmi message handler version 39.1
-IPMI System Interface driver.
-ipmi_si: Trying SMBIOS-specified kcs state machine at i/o address 0xca8, slave address 0x20, irq 0
-ipmi: Found new BMC (man_id: 0x0002a2,  prod_id: 0x0000, dev_id: 0x20)
- IPMI kcs interface initialized
-ipmi device interface
-
-
-
 
 aptitude install openipmi
 aptitude install ipmitool