Alors il te faut prendre le kernel de ce site et non celui qui est reconnu comme étant l'officiel

Les R4 originaux on en trouve, chez les gens sérieux qui ne cherche pas à économiser 1-2Euro à l'achat!