Les smart contracts avec Bitcoin (1/3) : Une monnaie programmable