Les logiciels libres et GNU/Linux, la liberté informatique