Savoir développer avec la double distributivité niveau 2.