GRANITILLO, or GRANITEL, a name given by some mineralogists to a particular species or variety of granite.