Armani Antonio - nato a Riva di Trento il 6 febbraio 1837