Leponti era el nombre que le dieron estas gentes al lugar, los romanos lo llamaron Leventi y en la edad media pasó a llamarse Leventio.