There is no real difference between different Push-Primary mirror servers as far as mirroring is concerned.
Il n'y a pas de différences significatives entre différents miroirs serveurs Push-Primary comme origine du miroir.