Logiciels libres : Linux poursuit sa progression