Pantin

Nama Pantin tercatat tahun 1067 sebagai "Pentini", mungkin dari patronim Romawi Pentinus, selain Pantaenus atau Repentinus, tetapi etimologi ini tidak berhubungan.