Statistiques des prénoms Armanc, Armin