nostr:npub16vfgxusct4pk74d8hfd744jujhl9upeeju7fgxg8v4gmq39gnecqp82c5u C'est vrai qu'il y a un pretty-printer qui transforme les noms ASCII des fonctions en caractères Unicode, mais pas l'inverse, ce qui serait pourtant pratique pour dicter les programmes au téléphone.