Clarify PLUQ specification

[Charles Bouillaguet]

The documentation says that the PLUQ function returns matrices satisfying A = PLUQ.

But the test code actually checks that PAQ^t = LU, and the test pass… So the specification is actually A == P^TLUQ.

Proposed solution: fix the doc.