On revient sur l’info high-tech majeure de cet été : le changement de nom de Google.