Installation d'un module DS3231 (horloge RTC avec pile) pour Raspberry Pi, avec un branchement GPIO.