from Nicolaus de Tudeschis, Repertorium commentariorum Panormitani