Title: Conception de systèmes totalement auto-testables et à pannes non-dangereuses