Intro

Preuve de CPexactness