Note to self: ne plus refaire ". ~/.bash_history", c'est une très mauvaise idée !