Source: https://www4.ac-nancy-metz.fr/clg-j-ferry-neuves-maisons/spip/IMG/pdf/cours-calcullitteralsubstitutionsdistributivite-partiel-2020-2021.pdf