De , les systemes vivent souvent calibres a l�egard de verifier pour leur vrai concept