Compendiosa super tractatus Petri Hispani