Google veut vous faire gagner du temps avec une nouvelle fonction de numérisation de texte sur son clavier Gboard