Ou comment certaines dénominations ont perdu leur sens.

history | tail -n 42 | awk '{print $2}'