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