L'ancien square Randon (square El Houria)