Double
Double, adj. Intervalles Doubles ou redoublés ſont tous ceux qui excedent l’étendue de l’Octave. En ce ſens la Dixieme eſt double de la Tierce, & la Douzieme double de la Quinte. Quelques-uns donnent auſſi le nom d’Intervalles doubles à ceux qui ſont compoſés de deux Intervalles égaux, Comme la Fauſſe-Quinte qui eſt compoſée de deux Tierces mineures.