Canonical Reduction Systems in Artin-Tits groups of spherical type | Synapse