$ whatis source source: nothing appropriate. $ man source No manual entry for source $ source bash: source: filename argument required source: usage: source filename [arguments] Il existe et il est exécutable. Pourquoi n'y a-t-il pas de documentation à ce sujet dans Ubuntu? Qu'est ce que ça fait?...