Plactic_monoid