Algèbre graduée associée à une valuation de $K[x]$