Gal Costa morre aos 77 anos, mas deixa um legado gigantesco também na música eletrônica