Merci petit père de Slimey,
Le bug est dans tools.js, ligne 356 :
select.title = 'Change font family';
select.title = lang('Change font family'); // better
Le bug est dans tools.js, ligne 624 :
var img = createImageButton('undo', 'Undo', this);
var img = createImageButton('undo', lang('Undo'), this); // yes !
@skypilot :
dans lang.js
'change font size': 'Changer la taille de la police',
et il faudra rajouter après
'some text': 'Votre texte...',
'Change font family': 'Changer la police',
'Undo': 'Défaire',