bash_profile pointe directement sur dotfiles/bashrc