soustractions avec preuve