Brevets, logiciels, informatique libre