If you wanted to use a different mirror, you would specify a different mirror here by following the instructions. ###>Si vous désirez utiliser un autre site miroir, vous pouvez le faire ici en suivant ces instructions.