Division euclidienne des polynômes : divisibilité, restes