Rechercher l'historique du terminal

ctrl + R (for linux and osx)
JC