General: miles davis: gil evans collaborated with miles on a rendition of this gershwin musical