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