Infinitesimal neighborhoods of infinite-dimensional complex projective spaces