J'ai mis du temps à le trouver, mais voilà où Apple l'a intégré:
pour faire une recherche quelle qu'elle soit, il faut la faire dans le champs d'adresse. Safari va te donner les résultats obtenus dans 3 catégories:
- Recherche avec Google sur internet
- Recherche dans les signets et l'historique
- Recherche sur la page internet ouverte.
Pour cette dernière, c'est vrai que c'est un peu déroutant au début, car on à l'impression que l'on à quitté la page sur laquelle on veut faire une recherche; Au fait, ça respecte la nouvelle interface iOS 7; il faut plutôt considérer la page des résultats de la recherche comme une nouvelle couche
voilà, voiloù...