4

Double distributivité