diff --git a/TipsShell.md b/TipsShell.md
index 5a443070..b58e3d9c 100644
--- a/TipsShell.md
+++ b/TipsShell.md
@@ -551,7 +551,7 @@ pgrep -u <user1> | xargs -r ps -F
 #### Liste simple
 
 ~~~{.bash}
-$ ps -e -o etimes=,pid,cmd | sort -rn | awk '{if ($1!=0 && $3!~/\[.*\]/)  print $0 }'
+$ ps -e -o etimes=,pid,cmd | sort -rn | awk '$1 != 0 && $3 !~ /^\[/'
 ~~~
 
 #### il y a moins de X minutes