Correction de certaines mauvaises allocations et simplifications de fonctions