Double distributivité.
Informatie: Double distributivité.