Castello, mur de l'Arsenal