Hẻm Trịnh không phải là tên gọi chính thức nhưng là cái tên quen thuộc với rất nhiều người Sài Gòn.