Rechercher dans la documentation android

Une extension est disponible pour le navigateur Chrome, qui permet de trouver facilement ce que l'on veut dans la doc Android.