Good,
J'ai essayé la méthode indiquée sur le site Huisman. C'est ok.
D'abord, il faut réinstaller entièrement le dual-boot (évidemment lorsque l'on touche aux partitions).
Puis, avant de remettre la carte SD dans le Raspberry, il faut modifier la taille de la partition dans le fichier : carte SD > os > matrix-osmc (pour ma part) >partitions.json.
Là, il faut modifier la ligne "partition_size nominal'" qui affiche 2048. J'ai changé en 10 000 pour avoir 10 go par la suite.
Après, il faut suivre la démarche classique. Et hop, 10go alloué pour la partie Kodi. Je n'ai plus de latence pour afficher les vignettes.
Sujet résolu.
