Arithmétique : Nombres entiers : multiplication et preuve.