coprocesseur-deterministe