Ricardo Lewandowski deixa o Supremo Tribunal Federal após 17 anos