>>>> "MG" == Michel Grentzinger <mic.grentz@online.fr> writes: [...] MG> Au fait quelle est l'exacte différence entre /etc/environment et MG> /etc/profile ? /etc/profile appartient à bash et /etc/environment est pour le sytème. Christian