Arithmetic topological models for the attractors of infinitely satellite renormalisable maps