GNU/Linux est-il vraiment libre et gratuit ?