bague + reduc + fdp 0 !-FINI-