a) o mezinárodní smlouvy ratifikované prezidentem Československé socialistické republiky nebo