gtime Cette commande est un alias de -p linux time. Voir la documentation de la commande originale : tldr -p linux time