@URLENCODE[un magnifique] : Encode une chaîne pour la transmission Internet, en remplaçant les caractères non alphanumériques par leur représentation hexadécimale %xx.