fortification rive gauche : porte Rivotte - POP