¿Cuál es el nombre real de Miki, colaborador en 'El Informal', 'El Show de Flo', 'Sé lo que hicisteis'...?