Fait n°2 : Combiner l'analyse avec un programme avancé d'appels de test