Bonjour,

Regarde du coté de la commande time (pas la built-in, celle qui se trouve par exemple dans /usr/bin ) :

/usr/bin/time --verbose ls >/dev/null
Command being timed: "ls"
...