Ah oui au fait, le Raspberry Pi 4 est sorti.
Versions 1, 2 ou 4 Go de RAM (de 35 à 55$), processeur 64 bits, plus puissant, 2 sorties HDMI 4K, décodage matériel h264+h265, encodage matériel h264, USB3, Ethernet Gigabit...  Super !
EDIT: Les perfs semblent excellentes: https://www.raspberrypi.org/magpi/raspberry-pi-4-specs-benchmarks/
EDIT: Détails techniques matériels: https://www.elektormagazine.fr/news/banc-d-essai-raspberry-pi-4-tout-nouveau-tout-beau-mais-encore-au-top
EDIT: Ne vous précipitez pas dessus, il a quelques défauts de conception : https://sebsauvage.net/links/?VaDcQw