@d3128372 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.