La part de marché de Google dans le domaine de la recherche a légèrement baissé en juillet, selon un rapport