Update interface.js

Mise à jour de l'aide associée aux caractères spéciaux dans Execho.