¿Qué es y cómo funciona el Mecanismo Europeo de Estabilidad?