diff --git a/TipsKernel.md b/TipsKernel.md
index 22be5da7..56a52d02 100644
--- a/TipsKernel.md
+++ b/TipsKernel.md
@@ -109,11 +109,11 @@ Debian propose des paquets linux-source-* contenant les sources vanilla patchée
 
 ## Choix des options
 
-Pour le choix des options, on utilise `make OPTION` où *OPTION* peut valoir :
+Pour le choix des options, plusieurs alternatives :
 
-* menuconfig (installer *libncurses5-dev*)
-* xconfig (installer *libqt4-dev*)
-* config
+* `make menuconfig` (nécessite le paquet *libncurses5-dev*)
+* `make xconfig` (nécessite le paquet *libqt4-dev*)
+* `make config`
 
 Pour récupérer les options d'un autre noyau (même plus ancien) :