une petite porte à guichet. Cette porte ouverte, on traversait une cour entourée de grilles doublées de panneaux de