Compilatio tertia, with gloss of Johannes Teutonicus