Test - Développer : la double distributivité