Résumé : Earlier fourth-order extended Thomas-Fermi calculations with functional BSk24 of pasta phases in the inner crust of neutron stars are here repeated with Strutinsky-integral and pairing corrections included for protons. The main consequence of these corrections is to eliminate the spaghetti phase at zero temperature and significantly reduce the range of densities over which the lasagna phase is found. On the other hand, the microscopic corrections have a negligible impact on the equation of state and on the proton fraction.