De Finetti’s encounter with martingales