[latexrefman] tie character

[Vincent Belaïche]

Looking how to translate this term, I found that it is ambiguous, see
https://en.wikipedia.org/wiki/Tie_(typography).

It seems that « tie » is some sort of Texinfo jargon rather than a
typographical term.

I think that the term « tie » should be removed throughout the English
version, and replaced by non-breaking space.

Comments/feedback welcome …
  V.