Raspberry Pi – GPIO & Python (4/9) – Push button