По официальной версии, название своему открытию «Петух» дал из патриотических побуждений; однако злые языки поговаривали, что себя он тоже увековечить не забыл. Мы не требуем назвать имя «Петуха» (тем более вслух, ибо это не каждый может) – назовите само открытие.