HSURF, un microprocesseur facilement testable pour des applications à haute sûreté de fonctionnement — Christian Jay