Quand on parle de navigateur Web sous Windows Mobile, tout le monde pense à Opera 9.5. Pourtant cette application n'est pas distribuée officiellement au grand public et seuls les constructeurs peuvent l'intégrer dans Windows Phone. Les alternatives existent, dont une plus particulièrement : Opera Mini est une déclinaison "multi plateforme" qui tourne sur une machine virtuelle Java. La nouveau de la version 5 vient de son développement : l'éditeur propose maintenant une version native Windows Mobile, donc sans Java.
L'avantage d'une application native réside dans les performances : pas d'interprétation intermédiaire et donc exécution plus rapide. Côté fonctionnalités cette version "Mini" reprend l'essentiel de la navigation Web : affichage optimisé pour les petites résolutions, interface simplifiée, et moteur de rendu déporté sur les serveurs proxy d'Opera (pour accélérer le rendu). L'ensemble n'est pas aussi "graphique" que sur la version 9.x mais offre un confort d'utilisation très intéressant.
Bien qu'officiellement en version Beta, Opera Mini 5 reste un produit fonctionnel et tout à fait stable. Les utilisateurs esthètes apprécieront la nouvelle interface (proche de Opera Mobile 10) avec une gestion des onglets plus intuitive et des menus plus accessibles.
Opera Mini 5 beta peut être téléchargé sur le site de l'éditeur.
