Vertaling van octrooien: definitie en bijzonderheden