Statistiques des prénoms Armida, Armina