L'éditeur JavaScript