Définitionshastivement