algorithme par séparation et évaluation