La taille de Dinos Punchlinovic est :