Famille libre de polynômes de valuations distinctes

Montrer que toute famille de polynômes non nuls de valuation deux à deux distinctes est libre.
Correction