Polscy uczniowie z czterema medalami na Międzynarodowej Olimpiadzie Astronomicznej