Дед был из детдомовцев, так что Петров, получается, носил фамилию, придуманную работником детдома во времена гражданской войны. У этого работника детдома тоже с воображением было не ахти.
