La Double distributivité