Puerta grande de la plaza de toros, CERCEDILLA