Comment utiliser un proxy dans `./launcher rebuild app`

La dernière fois que je l’ai fait remonte à environ 2017, mais voici l’essentiel :