Il ne s’agit pas d’une modification globale de $PATH, juste une modification temporaire lors de l’exécution de la commande utilisateur.