Statistiques des prénoms Armido, Armin