[BSR-BSF] : correction de l'implémentation

- Abandon du tableau SMTLIB, choix d'une succession de (ite) pour tester la valeur de l'index fourni en argument.
- La formule est présentée sur plusieurs lignes (une ligne par 'let')
- Idem pour PARITY (formule sur plusieurs lignes)

test faits en x86 et x64 (intrinsics) sur BSF et BSR
=> Fusion avec la branche MASTER