Couverture de test fonctionnel de l'asserter - OK