Le tilde a-t-il été utilisé en français?