Raspberry Pi 4 en passe de pouvoir démarrer à partir d'un périphérique USB