Existe-t-il une commande similaire time, mais qui rapporte plus de statistiques? Ce serait génial si je pouvais faire quelque chose comme: $ statistics some_command time: real 0m3.002s user 0m0.000s sys 0m0.000s memory: min 41K peak 2.5M mean 1.1M . . . Si cela pouvait aller encore plus loin, ce...