pourquoi $HOME n'a pas encore commencé à baisser