Pelayo o Pelagio, Pelagius en latín y Belai al-Rumi en árabe (f.