Multiplication d'un non entier par un entier