Antiguo lavadero y abrevadero, BERNUY DE COCA