[ouest-france.fr] Tux, la mascotte de Linux, représente la fête du Libre