algorithme de résolution