probabilistically checkable proofs

== Anglais == === Forme de locution nominale === probabilistically checkable proofs \Prononciation ?\ Pluriel de probabilistically checkable proof.