Pierre CARRIER / PROJET 2-SAT