La double distributivité

Illustrations :

Le produit de deux sommes est la somme de chaque produit.