Pregón de peñas y salto al pilón: así comenzaron las fiestas 2023 de Miraflores de la Sierra