Linux : Correction de l'initialisation du bash_profile