Pour choisir sa distribution de travail sur le Raspberry Pi en fonction de ses besoins et des performances attendues.