Los casi tres millones de empleados públicos suponen un récord histórico