@URLDECODE[un magnifique]  : Décodez une chaîne codée en URL, en remplaçant %xx par les caractères d'origine.