Le noyau Linux 3.10 est sorti http://t.co/u4XpO6NwT7 mercredi 3 juillet 2013 à 16:08 Le noyau Linux 3.10 est sorti http://t.co/u4XpO6NwT7