43: Filtres statiques
À chaque prédicat est associé un état:
borne sur les valeurs absolues des entrées
bornes d'erreur correspondantes
pour chaque comparaison
Deux possibilités:
l'utilisateur fournit une borne sur les entrées
la borne est ajustée automatiquement