Safari dépasse enfin le milliard d'utilisateurs, mais reste encore loin derrière Chrome