Teodosio, un segoviano emperador de Roma, BERNUY DE COCA