Les logiciels libres ne sont pas nécessairement libres de droit. Les seuls qui le soient sont ceux relevant du domaine public, les autres sont diffusés sous licence par leurs auteurs. Cela nécessite une correction à laquelle procède la proposition de rédaction n° 9.