Puerta de baptisterio Iglesia San Vicente, BERNUY DE COCA