Définitionsbadingue