Le Diko - axiome de régularité