Gboard : le clavier intègre une option annuler pour corriger ses erreurs en un clic