Mathématiques, informatique, politique et poésie
Une loi de composition \(\star\) est commutative quand \(\forall x \forall y, x \star y = y \star x\)
