Double distributivité.