notation décimale pointée