Error por Irma, que no es prefijo.
"Y no sé por qué Paul Pierre Henry le puso 'Irma' al asteroide, no creo que fuera un admirador de la mitología nórdica."
Es un nombre propio femenino que significa completa, entera, fuerte. es de origen germánico (Irmen). También es nombre de un asteroide (177).
"La vecina de mi casa se llama Irma."
Irma- se trata del asteroide descubierto por el astrónomo P. P. Henry el día 5 de noviembre de 1877-
"el vocablo Irma- es utilizado en una de sus acepciones, dentro del estudio de la Astronomía-"