Diviser par 10 un nombre décimal. - commentaires