Google a modifié sa barre de recherche. Le changement est discret, mais il est loin d’être anodin.