On the Stabilization of the Trace Formula (English and French Edition) (Stabilization of the Trace Formula, Shimura Varieties, and Arithmetic Applications)