Vidéo 10 : SimpleScreenRecorder pour filmer l’écran du Rasberry Pi