doxygen pour karatsuba_*