Définitions’s Gravendijk