Et hop, 80.000 utilisateurs de Gnome et de Mozilla de plus. [Source : Pascal Chevrel.]