Définitionsintégrante