Primaires démocrates : Bernie Sanders jette l'éponge