Title: Joannis Bonefonii patris, Arverni, opera omnia