Arbres de restes, chip-firing, etc

formalisation arbres de restes, chip-firing, etc. lien