El primitivo nombre de aquel lugar era el de El Choyal.