File:Bruno de Finetti portrait.jpg