Double distributivité

Double distributivité