Eisenstein à plusieurs indéterminées

Démonstration d'eisenstein + cas où cont(P)=1. Application à P dans K[X,Y] vu comme (K[X])[Y] ou (K[Y])[X].