Le Raspberry Pi 4 peut désormais booter via USB