Cima Puerto 1796 M, MIRAFLORES DE LA SIERRA