De Charles Spon, le 15 janvier 1658
Note [8]
« du grincement de dents ». La médecine moderne a emprunté au grec pour lui forger le nom de bruxisme (mot apparu vers 1950), et Nysten a ainsi défini le grincement des dents :
Bruit produit par le frottement des dents l’une contre l’autre. Il n’est pas rare pendant le sommeil des enfants, surtout à l’époque de la deuxième dentition, et pendant le sommeil agité des adultes. Il se produit aussi durant les méningites, etc. »