uppfördes i går för trettonde gången den alltid gerna sedda komedien Gringoire.