el rey la doncella y el herrero