[deflation] document three term recurrence
[tests] test B_ in deflated solvers
[deflation] improve doc