Google Gboard : bientôt une fonction redoutable pour corriger ses erreurs