choux blanc … 
J’ai essayé ta 1ère proposition, voilà la réponse :
francois@francois-HP-Z400-Workstation:~/programs$ git pull Bitbucket
remote: Counting objects: 76921, done.
remote: Compressing objects: 100% (22865/22865), done.
remote: Total 76921 (delta 60643), reused 67767 (delta 53572)
error: échec RPC ; curl 56 GnuTLS recv error (-110): The TLS connection was non-properly terminated.
Réception d’objets: 100% (76921/76921), 139.89 Mio | 503.00 Kio/s, fait.
Résolution des deltas: 100% (60643/60643), fait.
francois@francois-HP-Z400-Workstation:~/programs$ cd tools
bash: cd: tools: Aucun fichier ou dossier de ce type
ensuite je supprime et réinstalle git comme tu le conseille, je refait la 1ere procédure. Il trouve Tools et build-art mais toujours la même erreur :
francois@francois-HP-Z400-Workstation:~/programs/tools$ ./build-art
Program name: art
Build type: release
Build without updating: false
Clonage dans ‘/home/francois/programs/code-art’…
remote: Counting objects: 76954, done.
remote: Compressing objects: 100% (22898/22898), done.
remote: Total 76954 (delta 60656), reused 67767 (delta 53572)
error: échec RPC ; curl 56 GnuTLS recv error (-110): The TLS connection was non-properly terminated.
Réception d’objets: 100% (76954/76954), 139.90 Mio | 168.00 Kio/s, fait.
Résolution des deltas: 100% (60656/60656), fait.
francois@francois-HP-Z400-Workstation:~/programs/tools$
J’essaye de désinstaller et réinstaller curl, puis de relancer l’installation de Art, mais toujours le même résultat :
error: échec RPC ; curl 56 GnuTLS recv error (-110): The TLS connection was non-properly terminated.
J’ai fait l’économie d’une installation complète quand j’ai changé de machine, je crois que je vais devoir m’y coller pour voir si ça résout ce problème. Avec la connexion que j’ai c’est pas pour demain, peut-être ce week end. D’ici là, je suis preneur de toute proposition de solution à tester.
Merci beaucoup à Guynux et jpg54 de s’être penché sur mon problème.