Según esto, su nombre era "Antoninus de Pamiers".