Définitionsredéculotter