let rec addition n1 n2 =
let retenue = ref 0 in
match (n1 , n2) with
| ([] , []) -> []
| ([] , t::q) -> (t + !retenue) :: (addition [] q)
| (t::q , []) -> (t + !retenue) :: (addition...