Jean-Baptiste Faure a écrit :

Je ne suis pas sûr de bien comprendre ton avis. Est-ce que je me trompe
si j'écris que tu penses que %, + et & sont effectivement des
séparateurs de mots en français mais qu'en fait ça n'a pas beaucoup
d'importance et qu'on peut laisser les choses en l'état ?

J’ai écrit un peu vite.
Je voulais dire que ces caractères devaient, à mon sens, rester des séparateurs de mots.


Je me demande s'il n'y a pas plusieurs points de vue possibles : on
pourrait aussi bien dire qu'il n'y comme séparateurs de mots que
l'espace, l'apostrophe et le tiret. C'est ce que semble signifier mon
Grévisse.

Pour l’instant, le tiret est un séparateur de mots, mais ça va changer avec le bug 64400, corrigé pour la v3.2 normalement. Enfin ^^
Et l’apostrophe est considérée comme une lettre comme une autre.
Du coup, si jamais le 64400 engendre un dictionnaire trop lourd à manipuler, je demanderai à ce que l’apostrophe soit considérée comme un séparateur de mots pour le français.


Par exemple je ne serais pas choqué que "test+aient" soit souligné
globalement bien que les 2 composants soient corrects.

Qu’on puisse considérer + comme un caractère comme un autre, c’est une chose Néanmoins, nous ne sommes pas dans la théorie, mais dans la technique et la pratique. Ça n’aurait d’intérêt que pour écrire certains noms propres contenant éventuellement ce signe. Si nous acceptons + comme caractère valide, ça n’apportera rien d’autre car nous ne mettrons jamais les constructions possibles dans le dictionnaire. Par ailleurs, on se doute que ces constructions sont erronées. À quoi bon alors souligner? Ça gênera la correction orthographique avec des alertes sans intérêt.


Cordialement,
--
Olivier R.

== Adresse mail réservée aux listes de discussion.                ==
== Les messages venant d’ailleurs sont _automatiquement_ effacés. ==
** E-mail dedicated to mailing-lists.                             **
** Messages from anywhere else are _automatically_ erased.        **

---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]

Répondre à