Éstos, con graciosa burla, le pusieron el nombre de Babieca.