@PUNYDECODE[s,string] : Décode une chaîne Punycode.

@PUNYDECODE[inputfile,outputfile] : Décode un fichier Punycode.