sage

55f4ab88 - Merge remote-tracking branch 'upstream/develop' into needs_for_sage_combinat_root_system