La port Cornimont, a un départ de voûte à gauche (côté Maurice) mais pas à droite (côté Hohneck)