Gboard : le clavier Google corrige enfin un de ses plus gros défauts