Plactic_monoid loading ...