Gatos común europeos, tres tristes gatos, BERNUY DE COCA