Définitionsvengeant