Test - La double distributivité