Si c'est le R4 GE Upgrade(games Engine)
[IMG]http://www.*******.com/product_images/l/r4_sdhc_2__61869.jpg[/IMG]
comme moi j'ai et que ton lien
renvois là, j'ai mis le: R4i-SDHC kernel updated to V1.20b on Apr 6,2010
R4i SDHC Revolution for NDSi/NDSL/NDS
et tout fonctionne nickel.
Si cela peut aider