Re: Tilde

["Jean Fontaine" <jfontain@xxxxxxxxxxx>]

Thierry Bouche écrit :

> » Oui, cet emploi lexicographique se rencontre aussi en anglais et en
> » français.
>
> mais... il peut aussi bien être remplacé par un tiret ou toute autre
> chose : je doute qu'on utilise le caractère d'unicode (plutôt une
> police de symboles spéciale),

En tant que lexico électronique, je me sers quotidiennement du croisillon
(#) comme caractère de substitution pour cet emploi (dans le code interne,
pas au résultat final où le mot est restitué). En français, ce caractère
d'accès rapide a l'avantage de n'être ambigu avec rien d'autre, sinon avec
lui-même...

> et si on devait utiliser un _caractère_,
> il devrait plutôt s'appeler « caractère générique de substitution »
> plutôt que « tilde ascii », non ?

Bonne idée. Faudrait proposer à Unicode un tel caractère générique de
substitution, s'il n'y en a pas déjà un de prévu quelque part. Un joker
universel et sans visage défini.

Jean Fontaine