Division par 100 un nombre décimal. - commentaires