La maison des Corderies, artillerie en 1838. L’ancienne porte d\'Hocquet