Proposition consécutive

De Arbres