Arthur's multiplicity formula for GSp$_4$ and restriction to Sp$_4$
We prove the classification of discrete automorphic representations of GSp$_4$ explained in [Art04], as well as a compatibility between the local Langlands correspondences for GSp$_4$ and Sp$_4$ .