Oui, je l'ai remarqué dans la vidéo. Nous le corrigerons correctement avec une relecture complète. Pour l'instant, je préfère un outil qui est trop prudent plutôt que de risquer de marquer accidentellement des mots supplémentaires. Certains peuvent être modifiés de manière fiable avec une recherche et un remplacement par expression régulière, mais pour les autres, c'est probablement la meilleure méthode pour le moment. Un autre inconvénient est qu'il reste un peu fastidieux de saisir une entrée de glossaire pour chaque nom (sinon, je n'en ai pas besoin en tant qu'entrées de glossaire réelles).