Une technique déclarative pour filtrer des motifs topologiques de protéines