Definitions of Gravelin:

• name:  A surname (very rare: popularity rank in the U.S.: #84377)