* faire un triplet pour les WP: sdemon, demon et angel.
* revoir les bind_simpl_ en consequences (avec demon au lieu de "sdemon")
* eviter de se trimbaler des "pre" qu'on peut ajouter avec "pre_refines"
* introduire reelement "equiv" permettrait d'eviter une duplication de code (a faire au niveau de WP.v) 
* variable: noms de type (dans une liste de type) + noms de valeur.
  (segmentation)
  => interets: plus modulaire (et plus efficace ?)
