Samsung wave 723 ou galaxy teos??

Bonjour à tous.
Je me suis fait voler mon portable il y a quelque jours (un samsung player pixon) et je vais donc en acheter un autre. Mais j'hésite entre 2 modèle, le samsung wave 723 et le galaxy teos. En fait je l'utiliserait surtout pour les sms, pour les photos, UN PEU internet... Après que ce soit android ou bada.. je m'en fiche un peu même si c'est sure que android est très interessant! Mais sur bada on peut télécharger des jeux? Je sais qu'il n'y a pas beaucoup d'appli comparé à android mais je ne compte pas l'utiliser plus que ca! ^^ Et niveau autonomie quel est le mieux?
Merci de m'aider! :)