(Brassier) de Jocas, Iosephus