def axiome1a(liste,i):
    if liste[i]>1:
        liste[i] -= 2
        if len(liste)>i+1:
            liste[i+1] += 1
        else:
            liste.append(1)

def axiome1b(liste,i):
    if i>0 and liste[i]>0:
        liste[i] -= 1
        liste[i-1] += 2