Les 12 coups de midi du 12 octobre : nouvel indice sur l'étoile mystérieuse