Dictionnaire pratique et historique de la musique/Vitesse du son