Repertoire international des musiques electroacoustiques =International electronic music catalog