def simplifier(liste): while any(x>1 for x in liste): i = [i for i in range(len(liste)) if liste[i]>1][0] axiome1a(liste,i) return liste