algorithme d'élimination