Simplifications pour les fonctions en DP