diff --git a/TipsShell.md b/TipsShell.md
index 651ce75e..249ce165 100644
--- a/TipsShell.md
+++ b/TipsShell.md
@@ -206,7 +206,7 @@ echo /etc/$file :; diff /etc/$file <(ssh REMOTE cat /etc/$file); done
 Quand il s'agit de / - penser à exclure les autres partitions (si existante de toute évidence) :
 
 ~~~
-# ncdu / --exclude /home --exclude /srv --exclude /var --exclude /tmp --exclude /boot --exclude /usr
+# ncdu / --exclude /home --exclude /srv --exclude /var --exclude /tmp --exclude /boot --exclude /usr --exclude /proc
 ~~~
 
 Pour certaines anciennes versions :