¿Cuánto perderán en mayo los jubilados que cobran la mínima?