Précision sur l'éditeur utilisé