Multiplication d'une fonction par une constante.

Multiplication d'une fonction par une constante.