sage

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