Tontonelo se llamaba, nacido en la ciudad de Tontonela; hombre de quien hay fama que le llegaba la barba a la cintura.