12. la congruence en pnl