Pensión: ¿Es obligatorio pagar la prima de antigüedad?