Annotationes super Virgilii codicem — work by George of Halluin