Stable trace formula