El topónimo Mitxeltenea

 Hay un caserío llamado Mitxeltenea en Irun, Gipuzkoa. Los testimonios más antiguos son del finales del siglo XVIII y han sido recogidas varias variantes, tanto oralmente como por escrito: Michelot (1782, 1784), Michelotenea (1790-1812), Micheltenea (1837, 1858, 1883), Michelterena (1843) y Micheletenea (1845-50, 1793, 1823, 1842, 1855). En este topónimo, como en tantos otros, las variantes más antiguas suelen ser las más explicativas, ya que en el actual Mitxeltenea hay algún que otro problema, pero las primeras con Mitxelot y Mitxelotenea son transparentes. Está el antropónimo hipocorístico Mitxelot y en la parte final lo común en nombres de casas -ren + -a, para marcar la posesión, siendo creado Mitxelotenea.
Posteriormente hubo varios cambios pero la forma que contiene la vocal /o/ se perdió, quizás por influencia del acento. En la variante Mitxeletenea no hubo pérdidas, pero sí una asimilación vocálica, o > e, igualándose con las vocales contiguas.
El hipocorístico Mitxelot es conocido en tierras vascas desde la Edad Media, como muestra P. Salaberri en su Izen ttipiak euskaraz, en la p. 178, siendo la base Mitxel y -ot el sufijo. Se debe mencionar que Mi(t)xelot también es conocido en Francia, por lo que es necesario que el nombre se creara en euskera, sino que el nombre hipocorístico completo pudo ser prestado.