Google Play : le bug est corrigé, vous pouvez enfin mettre à jour votre Galaxy