Jardines del Pedregal or simply El Pedregal is an upscale residential colonia in southern Mexico City hosting some of the richest families of Mexico. It is also known as the home to the biggest mansion in the city. From Wikipedia
