San Pirminius (en latín), Pirminio o Pirmino en español (* ca.