la commande times (1) une commande interne du shell
Vous allez ĂȘtre re-dirigĂ© automatiquement vers la page de bash
Si cette redirection automatique ne fonctionnait pas cliquer ici:
bash