Il nome della rosa (film): differenze tra le versioni