Double derivations and Cyclic homology