Antolina (nombre propio): Nombre de pila de mujer.