Adaptation de la specification du probleme