On proximinality of subspaces and the lineability of the set of norm-attaining functionals of Banach spaces | Publicación