(les fichiers profile et bashrc ne sont pas équivalents et ne sont pas appelés dans les mêmes cas)