Hister : historique et gestion des commandes shell pour programmeurs efficaces