Résolution par comparaison