Portique d’époque islamique devant la façade est de la mosquée d’Omar