Définitionsredépiter