extension→. [type de fichier] [son]. Fichier contenant une musique codée sous la forme d'ordres MIDI. On peut considérer cela comme une sorte partition, par opposition avec les enregistrements intégraux.
