« COPYING.txt » n'existait pas sur « daa3226f51a5487b84b6ad9d06a985cfbd669b3f »