Ajouter la date d'exécution des commandes à l'historique Bash