Il nome Marino, letteralmente “uomo del mare”, conta nel calendario ben quattordici santi che l’hanno reso illustre in varie forme: alcuni con il martirio, altri con una vita religiosa esemplare. Il più famoso è Marino di Rimini, un eremita del IV secolo considerato il fondatore del minuscolo stato di San Marino, a cui ha dato il suo nome.

Il patrono di Rimini, festeggiato il 3 settembre, era un tagliapietre cristiano venuto ad Ariminum (oggi Rimini) col compagno Leo (da cui il nome della Rocca) per lavorare nel porto al tempo dell’imperatore Diocleziano. Marino, commemorato oggi, è popolare grazie all’efficace racconto del suo martirio tramandatoci dallo storico Eusebio di Cesarea.