preliminaire : a -> (x -> a*x), j'imagine