Avec la dernière mise à jour de Gboard, Google entend révolutionner la correction des erreurs de saisie