Google Gboard permet désormais de modifier la taille des caractères du clavier