Inside PFL

Montrer :