Je te conseille de faire un tour sur le site
linuxmao où tu trouveras une liste de lecteurs midi des plus complets aux plus simples. Je te conseillerais bien Rosegarden mais si tu n'as pas besoin d'éditer de fichiers ou d'enregistrer de l'audio, c'est sûrement surdimensionné 😉 !