A microscopic quantal calculation of the superfluidity of the inner crust of neutron star The inner crust of neutron star is generally considered to be formed by a Coulomb lattice of neutron-rich nuclei, immersed in a sea of free neutrons. We consider in detail the proximity effects due to the coexistence of these two phases, performing a quantal calculation of the specific heat and of the pairing gap.