S05 : Double distributivité