Pĕtrīnī, ōrum, m., habitants de Pétra [en Sicile] : Cic. Verr. 2, 3, 90 ; Plin. 3, 91.