Pan sur les doigts! Oui cette fois j'ai compris, je le savais pourtant, mais la facilité... J'apprends, merci de ton aide.

Pour le grep PATH .bashrc, cela ne donne rien.