Corderies basse (4e quart 17e siècle) et haute (2e quart 18e siècle) (détruites), Arsenal ; Quartier intra-muros de la rive gauche (Brest) - POP