Selberg–Arthur trace formula