Spotify annonce une réduction douloureuse de ses effectifs, malgré de bons chiffres