Définitionsredécomplexer