BJR Mehdi !!
Je reviens pour me rectifier car ODL a dit , me semble -t-il , une petite ânerie !!!
<< ........car en outre A.IK[X] inter B.IK[X] ={O} >>
En fait on a seulement A.IK[X]+B.IK[X]=IK[X] car , d'après un Lemme de GAUSS A.IK[X] inter B.IK[X] =A.B.IK[X]
en effet si Q est dans A.IK[X] inter B.IK[X] alors
A divise Q et B divise Q donc
AvB divise Q or AvB=PPCM(A,B)=AB ....
et la somme A.IK[X]+B.IK[X] n'est pas directe !!
LHASSANE
PS : je focalise tjrs sur ton pb , tkt pas !!!