(12722) Petrarca (Dictionary of Minor Planet Names, 2003)