Mentions légales du service
The underlying Monoid does not need to be commutative, and is indeed not in example fibonacci.mlw