sage

6dc4921d - Merge branch 'develop' into t/21405/public/combinat/CFM_base_ring_coercion-21405