Good to know that it is in the Texbook, I will ask Jean-Côme (Texbook translator to French) how he translated this term. Sounds good. FWIW, you could also look at lshort-fr or other general French documentation, I imagine. I expect that any documentation on LaTeX would describe ~ as being a "tie", along with whatever else. --best, karl.