On regular local operators on smooth maps

Let X, Y, Z, W be manifolds and π : Z → X be a surjective submersion. We characterize π-local regular operators A : C∞(X,Y) → C∞(Z,W) in terms of the corresponding maps à : J∞(X,Y) ×XZ → W satisfying the so-called local finite order factorization property.