Insure++ 6. 0 optimise la vérification du code