Bruno de Finetti's encounter with martingales