Pour modifier un texte brut dans un fichier ou par copier/coller – qu'il s'agisse de texte simple, de code HTML ou d'un programme JavaScript –, le premier réflexe de beaucoup de personnes ...