Linux & Raspberry Pi 30 août 2016 Effectuer un benchmark de la carte mémoire (SD ou micro SD) de votre Raspberry Pi