Estatua de António Machado en Segovia, BERNUY DE COCA