Pariul pascalului, pariul lui pascal