It is not even necessary to insert the name of Peter into the new pope's name.  All popes are considered to be "Peter" by Catholics.  When a pope dies or resigns, they often comment that they are waiting for the "Next Peter in the line" and/or the "Successor of Peter".

Mary Haas