Representación de un rey, posiblemente el rey David, en la portada de San Esteban