Il y a un point qui ne me semble pas clair dans les options canalsat.

Version imprimable