Dictionnaire de Trévoux/6e édition, 1771/DEMI-TON
(3, p. 213).
Demi-ton. s. m. Terme de Musique. C’est la moitié d’un ton. Hemitonium. Il y a un demi-ton mineur. Le demi-ton est essentiel à la Musique, car il en est l’ame & l’ornement, vu que par son moyen l’on établit les diverses espèces de quarte, de quinte, & d’octave. La proportion en nombres du demi-ton majeur est de 16 à 15. Celle du demi-ton mineur est de 24. à 25. Celle du demi-ton moyen est de 128 à 135. Le dièse enharmonique est la différence du demi-ton majeur, & du demi-ton mineur.