"Puerta de Valmardón o de Bab al-Mardum" y más...