@PUNYENCODE[s,un magnifique]: Encodez une chaîne Punycode.

@PUNYENCODE[fichier d'entrée,fichier de sortie]: Encodez un fichier Punycode.