Le monastère d'El Escorial.