Degré et valuation d'un polynôme

On donne les définitions du degré et de la valuation d'un polynôme. On vérifie ensuite les propriétés concernant ces deux notions.