Gboard s'enrichit enfin d'une fonction pour corriger rapidement vos erreurs