ok, so one could "just" verify that n-skeleta are equivalent (which is not implied by levelwise equivalence commuting with simplicial maps). Now it is clear, thanks!