Le vendredi 04 août 2006 à 13:06 +0200, Guy Roussin a écrit : > Peut etre que time est une commande interne au shell utilisé > ou qu'elle est aliasée ? > essayer : > \time --version Oui, si tu utilises bash, 'help time' dans un terminal devrait t'en dire plus (ou 'alias time'). Greg