Soient trois entiers naturels non nuls.